b36029f6c4
The currently used style works well in "normal" mode, where the tray is shown to be located beneath the window layer (pushing the latter up when revealed). It does not work very well in the overview, so use the same style as dash and workspace switcher there. |
||
---|---|---|
.. | ||
open-search-providers | ||
theme | ||
gnome-shell-extension-prefs.desktop.in.in | ||
gnome-shell-overrides.convert | ||
gnome-shell.desktop.in.in | ||
Makefile.am | ||
org.gnome.shell.gschema.xml.in.in | ||
org.gnome.ShellSearchProvider.xml |