gnome-shell/js
Florian Müllner 3ae45bddad appDisplay: Hide empty app folders
Trying to open an empty folder currently leaves the parent view in a
rather confused state. While we should look into fixing this in the
future, empty folders are not useful at all to begin with, so hide them.

https://bugzilla.gnome.org/show_bug.cgi?id=736910
2014-09-19 15:12:03 +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 Implement input source switching 2014-09-11 19:14:46 +02: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 appDisplay: Hide empty app folders 2014-09-19 15:12:03 +02:00
js-resources.gresource.xml status/keyboard: Factor out a KeyboardManager class 2014-09-11 19:14:46 +02:00
Makefile.am js/Makefile.am: Fix dependency generation with srcdir != builddir 2014-06-29 18:27:53 -04:00