Stefano Facchini 18c62a1987 Make workspace selector more similar to the mockup ... This makes the workspace indicator respect the "padding" style attribute. Also, since we no longer draw the border on top of the thumbnail, we need to be pixel-precise in allocating the indicator height. We use this to make the workspace selector more similar to the mockup. https://bugzilla.gnome.org/show_bug.cgi?id=662087		2012-08-23 21:17:22 +02:00
..
theme	Make workspace selector more similar to the mockup	2012-08-23 21:17:22 +02:00
gnome-shell-extension-prefs.desktop.in.in
gnome-shell-overrides.convert
gnome-shell.desktop.in.in
Makefile.am	search: Junk the OpenSearch system	2012-08-19 21:19:17 -04:00
org.gnome.shell.gschema.xml.in.in	messageTray: Add a toggle-message-tray keybinding to toggle the tray	2012-08-09 01:36:24 +02:00
org.gnome.ShellSearchProvider.xml