gnome-shell

History

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

Revert "Fixed typo in string"

2012-02-22 18:50:36 -05:00

gnome-shell-overrides.convert

gsettings: Add migration file for overrides

2012-01-10 19:40:01 +01:00

gnome-shell.desktop.in.in

Don't set the autorestart hint for gnome-session