gnome-shell/js
Joost Verdoorn 2ee6f49a93 dash: Make the favRemoveTarget always visible
We’ll be repurposing the favRemoveTarget, which calls for it the be
permanently visibe.  The favRemoveTarget used to be added to the dash when
needed and removed again when it wasn’t. This made that it always appeared
at the bottom of the dash. Now that we always show it, we also need to
explicitly define it to be at the bottom of the dash.

https://bugzilla.gnome.org/show_bug.cgi?id=682109
2012-08-20 14:23:18 +02:00
..
extensionPrefs Remove markup from translated strings 2012-08-06 11:59:14 -04:00
gdm Consolidate systemd and consolekit in a common abstract class 2012-08-18 18:09:55 +02:00
misc Consolidate systemd and consolekit in a common abstract class 2012-08-18 18:09:55 +02:00
perf js: use System.gc() instead of shell_global_gc() 2012-07-12 20:11:38 -04:00
ui dash: Make the favRemoveTarget always visible 2012-08-20 14:23:18 +02:00
Makefile.am Introduce a new GrabHelper 2012-08-19 18:41:51 -04:00