[gnome-shell] Give the runDialog a rounded corner

[Colin Walters <walters src gnome org>]

commit d7f5fd5d24b3e43bdad807201d89f9af44a82780
Author: Colin Walters <walters verbum org>
Date:   Sat Aug 1 21:46:02 2009 -0400

    Give the runDialog a rounded corner
    
    Just makes things a bit nicer looking.

 js/ui/runDialog.js |   12 +++++++-----
 1 files changed, 7 insertions(+), 5 deletions(-)
---
diff --git a/js/ui/runDialog.js b/js/ui/runDialog.js
index fc5493a..c55b8d7 100644
--- a/js/ui/runDialog.js
+++ b/js/ui/runDialog.js
@@ -1,5 +1,6 @@
 /* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
 
+const Big = imports.gi.Big;
 const Clutter = imports.gi.Clutter;
 const Shell = imports.gi.Shell;
 const Signals = imports.signals;
@@ -43,11 +44,12 @@ RunDialog.prototype = {
                               (global.screen_height - BOX_HEIGHT) / 2);
         this._group.add_actor(boxGroup);
 
-        let box = new Clutter.Rectangle({ color: BOX_BACKGROUND_COLOR,
-                                          reactive: false,
-                                          width: BOX_WIDTH,
-                                          height: BOX_HEIGHT,
-                                          border_width: 0 });
+        let box = new Big.Box({ background_color: BOX_BACKGROUND_COLOR,
+                                corner_radius: 4,
+                                reactive: false,
+                                width: BOX_WIDTH,
+                                height: BOX_HEIGHT
+                              });
         boxGroup.add_actor(box);
 
         let label = new Clutter.Text({ color: BOX_TEXT_COLOR,