gnome-shell r104 - trunk/js/ui

[walters svn gnome org]

Author: walters
Date: Mon Dec  1 23:01:55 2008
New Revision: 104
URL: http://svn.gnome.org/viewvc/gnome-shell?rev=104&view=rev

Log:
Use Big.Box for search entry to get rounded corners

http://bugzilla.gnome.org/show_bug.cgi?id=562923

Modified:
   trunk/js/ui/overlay.js

Modified: trunk/js/ui/overlay.js
==============================================================================
--- trunk/js/ui/overlay.js	(original)
+++ trunk/js/ui/overlay.js	Mon Dec  1 23:01:55 2008
@@ -11,6 +11,7 @@
 const Panel = imports.ui.panel;
 const Meta = imports.gi.Meta;
 const Shell = imports.gi.Shell;
+const Big = imports.gi.Big;
 const AppDisplay = imports.ui.appdisplay;
 
 const OVERLAY_BACKGROUND_COLOR = new Clutter.Color();
@@ -59,11 +60,12 @@
         this.actor.hide();
         global.stage.add_actor(this.actor);
         let icontheme = Gtk.IconTheme.get_default();
-        let rect = new Clutter.Rectangle({ color: SIDESHOW_SEARCH_BG_COLOR,
-                                             x: SIDESHOW_PAD,
-                                             y: Panel.PANEL_HEIGHT + SIDESHOW_PAD,
-                                             width: width,
-                                             height: 24});
+        let rect = new Big.Box({ background_color: SIDESHOW_SEARCH_BG_COLOR,
+                                 corner_radius: 4,
+                                 x: SIDESHOW_PAD,
+                                 y: Panel.PANEL_HEIGHT + SIDESHOW_PAD,
+                                 width: width,
+                                 height: 24});
         this.actor.add_actor(rect);
 
         let searchIconTexture = new Clutter.Texture({ x: SIDESHOW_PAD + 2,