From a4763b38bfb6d29cee72624f661352cde618ae0c Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Mon, 1 Dec 2008 23:01:55 +0000 Subject: [PATCH] Use Big.Box for search entry to get rounded corners http://bugzilla.gnome.org/show_bug.cgi?id=562923 svn path=/trunk/; revision=104 --- js/ui/overlay.js | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/js/ui/overlay.js b/js/ui/overlay.js index 428d259df..19442b241 100644 --- a/js/ui/overlay.js +++ b/js/ui/overlay.js @@ -11,6 +11,7 @@ const Main = imports.ui.main; 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 @@ Sideshow.prototype = { 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,