gnome-shell r19 - trunk/js/ui

[johan svn gnome org]

Author: johan
Date: Sun Nov  2 03:00:45 2008
New Revision: 19
URL: http://svn.gnome.org/viewvc/gnome-shell?rev=19&view=rev

Log:
Draw a border around the panel. Move it to -1,-1 and make the width+2 so we only see the border at the bottom

Modified:
   trunk/js/ui/panel.js

Modified: trunk/js/ui/panel.js
==============================================================================
--- trunk/js/ui/panel.js	(original)
+++ trunk/js/ui/panel.js	Sun Nov  2 03:00:45 2008
@@ -26,8 +26,10 @@
 
 	let background = new Clutter.Rectangle({ color: PANEL_BACKGROUND_COLOR,
 						 reactive: true,
-					         width: global.screen_width,
-					         height: PANEL_HEIGHT });
+					         width: global.screen_width+2,
+					         height: PANEL_HEIGHT+1,
+	                                         border_width: 1});
+	background.set_position(-1, -1)
 	this._group.add_actor(background);
 
 	let message = new Clutter.Label({ font_name: "Sans Bold 16px",