Florian Müllner 2dd7db4808 Make gnome-shell-extension-prefs a binary executable
Since commit 1ebb162a00bf6c4b0 moved JS sources into resources,
the extension-prefs tool was broken. To fix it, we would either
need to generate an external GResource in addition to the generated
C code and teach gjs-console about loading it before evaluating
the script, or turn gnome-shell-extension-prefs into a binary with
the JS resources compiled in.

https://bugzilla.gnome.org/show_bug.cgi?id=722334
2014-01-16 09:33:01 -05:00
..
2013-09-17 11:54:44 -04:00
2013-12-11 20:36:44 -05:00
2014-01-08 04:35:14 +07:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2013-10-30 07:44:34 +11:00
2013-10-30 07:44:34 +11:00
2011-11-07 15:24:59 -05:00
2010-02-22 19:37:49 -05:00
2012-09-10 21:23:25 +02:00
2012-02-28 08:14:06 -05:00