From d7f5fd5d24b3e43bdad807201d89f9af44a82780 Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@verbum.org>
Date: Sat, 1 Aug 2009 21:46:02 -0400
Subject: [PATCH] Give the runDialog a rounded corner

Just makes things a bit nicer looking.
---
 js/ui/runDialog.js | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/js/ui/runDialog.js b/js/ui/runDialog.js
index fc5493ad8..c55b8d765 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,