Dan Winship ae00f86887 panel: allow padding around panel buttons to shrink ...

for narrow screens (eg, portrait orientation)

https://bugzilla.gnome.org/show_bug.cgi?id=651299

2011-09-19 17:43:54 -04:00

..

search_providers

add ability to search in web from search view

2011-01-18 00:41:59 +03:00

shaders

windowManager: Incorporate invisible borders into window dimming effect

2011-09-19 12:39:48 -04:00

theme

panel: allow padding around panel buttons to shrink

2011-09-19 17:43:54 -04:00

gnome-shell.desktop.in.in

gnome-shell.desktop: Set autorestart flag

2011-03-21 15:57:49 -04:00

gnome-shell.schemas

Enable the workspaces_only_on_primary feature of mutter

2011-03-17 14:13:55 +01:00

Makefile.am

Add support for gdm greeter session

2011-08-29 14:11:36 -04:00

org.gnome.shell.gschema.xml.in

keyboard: switch to using the correct gsettings key for enable/disable

2011-09-19 07:34:02 -04:00