From b4dd21bde18d5424202a2c5e764e1e6d4722d7fc Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@src.gnome.org>
Date: Mon, 1 Dec 2008 23:48:07 +0000
Subject: [PATCH] Use Big.Box for highlight box as well to get rounded corners

svn path=/trunk/; revision=108
---
 js/ui/appdisplay.js | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/js/ui/appdisplay.js b/js/ui/appdisplay.js
index c0c492f8d..612f0a07e 100644
--- a/js/ui/appdisplay.js
+++ b/js/ui/appdisplay.js
@@ -7,6 +7,7 @@ const Pango = imports.gi.Pango;
 const Gtk = imports.gi.Gtk;
 
 const Tidy = imports.gi.Tidy;
+const Big = imports.gi.Big;
 const Meta = imports.gi.Meta;
 const Shell = imports.gi.Shell;
 
@@ -68,9 +69,10 @@ AppDisplayItem.prototype = {
             me.emit('activate');
             return true;
         });
-        this._bg = new Clutter.Rectangle({ color: APPDISPLAY_BACKGROUND_COLOR,
-                                           x: 0, y: 0,
-                                           width: width, height: APPDISPLAY_HEIGHT });
+        this._bg = new Big.Box({ background_color: APPDISPLAY_BACKGROUND_COLOR,
+                                 corner_radius: 4,
+                                 x: 0, y: 0,
+                                 width: width, height: APPDISPLAY_HEIGHT });
         this._group.add_actor(this._bg);
 
         this._icon = new Clutter.Texture({ width: 48, height: 48, x: 0, y: 0 });
@@ -118,7 +120,7 @@ AppDisplayItem.prototype = {
            color = APPDISPLAY_SELECTED_BACKGROUND_COLOR;
        else
            color = APPDISPLAY_BACKGROUND_COLOR;
-       this._bg.color = color;
+       this._bg.background_color = color;
     }
 };