Florian Müllner 977f45cdb9 panel: Add rounded corners ... Current mockups show the panel curving downwards at the edges to frame the work area and look awesome. Implement those as separate actors to not affect the struts set by the panel, and synchronize their state with the corresponding panel buttons so they blend in with the panel. It might be worth considering whether the corners should be hidden with maximized windows on the current workspace, though this might affect the illusion of them being part of the panel. As the corners don't affect the input region, the small overlap with windows might not be too bad after all. https://bugzilla.gnome.org/show_bug.cgi?id=642697		2011-02-21 17:38:47 +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	panel: Add rounded corners	2011-02-21 17:38:47 +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
Makefile.am	panel: Update style	2011-02-21 17:38:47 +01:00
org.gnome.shell.gschema.xml.in	lookingGlass: use new history manager implementation	2011-02-19 13:28:17 -05:00