On 21.08.2016 15:47, Norman L Smith - nls1...@gmail.com wrote:
> Hello Eric,
>
> I think this is the gjs magic for string formatting.
>
> See https://wiki.gnome.org/Projects/Gjs/Package
>
> pkg.initFormat() will initialize the format module. After calling,
> String.prototype.format will be avail
Hello Eric,
I think this is the gjs magic for string formatting.
See https://wiki.gnome.org/Projects/Gjs/Package
pkg.initFormat() will initialize the format module. After calling,
String.prototype.format will be available
Norman
On Sun, 2016-08-21 at 11:26 +0200, elbenfreund wrote:
> Hello lis
Hi Eric,
I'm don't know much about (G)JS, but did you saw the underscore in
front of your example string? Maybe gettext does some magic here.
Greetings,
Christoph
Am Sonntag, den 21.08.2016, 11:26 +0200 schrieb elbenfreund:
> Hello list,
>
> while browsing some of the existing GNOME-Shell exten
Hello list,
while browsing some of the existing GNOME-Shell extensions source [1]
noticed string formating similiar to C or python:
``'some_random_string'.format()``.
I'm not really that familiar with JS but by all accounts ([2], [3], [4])
javascript does not have build in string formating.
So my
