gnome-shell/js
Florian Müllner 593acb954d extensionPrefs: Improve handling of OutOfDate extensions
Our current UI is horrible in dealing with outdated extensions - we
don't give users any indication at all that something is not working as
expected (unless hiding the prefs button as we did until the last commit
counts).
To fix this, make the enable switch insensitive to indicate OutOfDate
extensions.

https://bugzilla.gnome.org/show_bug.cgi?id=736185
2014-09-06 22:06:23 +02:00
..
extensionPrefs extensionPrefs: Improve handling of OutOfDate extensions 2014-09-06 22:06:23 +02:00
gdm loginDialog: Push a modal for LOCK_SCREEN 2014-07-27 08:18:51 -04:00
misc util: Don't pass too many arguments to child_watch_add 2014-04-28 10:22:51 -04:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper PortalHelper: fix portals that don't redirect properly 2014-08-19 15:29:22 +02:00
ui extensionSystem: Fix reloading on version-validation changes 2014-09-06 22:06:07 +02:00
js-resources.gresource.xml Revert "wobbly" 2014-09-05 14:51:01 -07:00
Makefile.am js/Makefile.am: Fix dependency generation with srcdir != builddir 2014-06-29 18:27:53 -04:00