Joost Verdoorn 8c40ded498 viewSelector: Replace tab system with pages ...

The old tab system is no longer a good fit for the current design, so
replace most of the abstractions with a simpler page system.

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

2012-08-20 14:23:19 +02:00

..

theme

viewSelector: Replace tab system with pages

2012-08-20 14:23:19 +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

2012-03-18 02:35:14 +01:00

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

search: Add RemoteSearchProvider

2012-02-21 23:00:53 +01:00