gnome-shell

Author	SHA1	Message	Date
Tim Lunn	6e13823ccc	shell-js: fix incorrect G_BEGIN_DECLS in header	2013-10-15 09:21:59 +11:00
Jasper St. Pierre	8a9e3e0df2	Switch string formatting to the one inside gjs https://bugzilla.gnome.org/show_bug.cgi?id=675479	2012-05-24 15:38:44 -04:00
Cosimo Cecchi	49d8e6da40	format: move shell_format_int_alternative_output() to ShellJS gnome-shell-extension-prefs uses format(), but can't pull in Shell (which is a dependency for the module), since that in turn would pull in Meta. Fix this by moving the introspected int format function to ShellJS instead. https://bugzilla.gnome.org/show_bug.cgi?id=673106	2012-04-10 12:52:33 -04:00
Jasper St. Pierre	b2f33e2895	Split off the extension importing stuff into a new library, 'ShellJS' This allows us to create a separate utility to import things from shell extensions that does not have the entire Shell stack built up https://bugzilla.gnome.org/show_bug.cgi?id=668429	2012-02-07 16:00:37 -05:00