Florian Müllner 9a048af1fb panel: Move panel border into the background ... In the mockups the bottom border of active panel buttons is drawn on top of the panel's border. To get this effect, move the panel border into the background, so that it is not subtracted from the vertical space given to the buttons. Adjust the drawing of the rounded corners to reflect that change. https://bugzilla.gnome.org/show_bug.cgi?id=643001		2011-02-23 17:39:07 +01:00
..
misc	Add a history manager	2011-02-19 13:28:16 -05:00
perf	Use non recursive automake for JS	2010-09-15 18:38:46 +02:00
ui	panel: Move panel border into the background	2011-02-23 17:39:07 +01:00
Makefile.am	Add a PolicyKit authentication agent	2011-02-22 15:13:56 -05:00