Give the runDialog a rounded corner

Just makes things a bit nicer looking.
This commit is contained in:
Colin Walters 2009-08-01 21:46:02 -04:00
parent 026f014d32
commit d7f5fd5d24

View File

@ -1,5 +1,6 @@
/* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */ /* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
const Big = imports.gi.Big;
const Clutter = imports.gi.Clutter; const Clutter = imports.gi.Clutter;
const Shell = imports.gi.Shell; const Shell = imports.gi.Shell;
const Signals = imports.signals; const Signals = imports.signals;
@ -43,11 +44,12 @@ RunDialog.prototype = {
(global.screen_height - BOX_HEIGHT) / 2); (global.screen_height - BOX_HEIGHT) / 2);
this._group.add_actor(boxGroup); this._group.add_actor(boxGroup);
let box = new Clutter.Rectangle({ color: BOX_BACKGROUND_COLOR, let box = new Big.Box({ background_color: BOX_BACKGROUND_COLOR,
corner_radius: 4,
reactive: false, reactive: false,
width: BOX_WIDTH, width: BOX_WIDTH,
height: BOX_HEIGHT, height: BOX_HEIGHT
border_width: 0 }); });
boxGroup.add_actor(box); boxGroup.add_actor(box);
let label = new Clutter.Text({ color: BOX_TEXT_COLOR, let label = new Clutter.Text({ color: BOX_TEXT_COLOR,