Florian Müllner ef8c9e0abb workspace-switcher: Switch to vertical orientation ... With workspaces now being stacked vertically, the horizontal indicators in the workspace switcher are rather odd. There are some designs for an improved workspace switch animation, but it may take a while to implement them, so for now just change the orientation of the existing switcher. https://bugzilla.gnome.org/show_bug.cgi?id=641931		2011-02-09 20:02:51 +01:00
..
search_providers	add ability to search in web from search view	2011-01-18 00:41:59 +03:00
shaders	[windowDimmer] Bump GLSL version to 1.10	2010-09-11 21:41:47 +02:00
theme	workspace-switcher: Switch to vertical orientation	2011-02-09 20:02:51 +01:00
close-black.svg	[Overview] Update look and feel of the search field	2010-03-11 21:22:31 +01:00
gnome-shell.desktop.in.in	desktop-file: Remove "Utility" from categories	2011-01-27 11:37:39 +01:00
gnome-shell.schemas	Rename side-by-side tiling key	2010-12-02 17:19:25 -05:00
gs-applications.menu	gs-menu: Do not exclude "Core" category	2011-01-25 19:39:58 +01:00
magnifier.svg	Some search appearance fixes for last commit	2009-08-16 10:09:34 -04:00
Makefile.am	workspace-switcher: Switch to vertical orientation	2011-02-09 20:02:51 +01:00
org.gnome.accessibility.magnifier.gschema.xml.in	magnifier: Change default values	2010-11-01 16:03:28 +01:00
org.gnome.shell.gschema.xml.in	recorder: Switch to webm	2011-01-21 19:46:38 +01:00