Adel Gadllah 64cd51667d Add String formatting ... Add String formatting by extending the String object with a format method. Now we can do stuff like "Text: %s, %d".format(somevar, 5) This is required for proper translation of some strings. https://bugzilla.gnome.org/show_bug.cgi?id=595661		2009-10-04 23:37:33 +02:00
..
format.js	Add String formatting	2009-10-04 23:37:33 +02:00