Load gnome-shell.css at startup

https://bugzilla.gnome.org/show_bug.cgi?id=591245
This commit is contained in:
Colin Walters 2009-09-10 01:36:41 -04:00 committed by Owen W. Taylor
parent 459a3b18f2
commit 529f74c0e5
2 changed files with 5 additions and 0 deletions

0
data/gnome-shell.css Normal file
View File

View File

@ -10,6 +10,7 @@ const Mainloop = imports.mainloop;
const Meta = imports.gi.Meta; const Meta = imports.gi.Meta;
const Shell = imports.gi.Shell; const Shell = imports.gi.Shell;
const Signals = imports.signals; const Signals = imports.signals;
const St = imports.gi.St;
const Chrome = imports.ui.chrome; const Chrome = imports.ui.chrome;
const Overview = imports.ui.overview; const Overview = imports.ui.overview;
@ -75,6 +76,10 @@ function start() {
for (let i = 0; i < children.length; i++) for (let i = 0; i < children.length; i++)
children[i].destroy(); children[i].destroy();
let style = St.Style.get_default();
let stylesheetPath = global.datadir + "/gnome-shell.css";
style.load_from_file(stylesheetPath);
global.connect('panel-run-dialog', function(panel) { global.connect('panel-run-dialog', function(panel) {
// Make sure not more than one run dialog is shown. // Make sure not more than one run dialog is shown.
getRunDialog().open(); getRunDialog().open();