From b8d46422d59d7a43b96771aa3651b3fd8999135d Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Thu, 10 Sep 2009 01:36:41 -0400 Subject: [PATCH] Load gnome-shell.css at startup https://bugzilla.gnome.org/show_bug.cgi?id=591245 --- data/gnome-shell.css | 0 js/ui/main.js | 5 +++++ 2 files changed, 5 insertions(+) create mode 100644 data/gnome-shell.css diff --git a/data/gnome-shell.css b/data/gnome-shell.css new file mode 100644 index 000000000..e69de29bb diff --git a/js/ui/main.js b/js/ui/main.js index f48d38b44..140062bdc 100644 --- a/js/ui/main.js +++ b/js/ui/main.js @@ -10,6 +10,7 @@ const Mainloop = imports.mainloop; const Meta = imports.gi.Meta; const Shell = imports.gi.Shell; const Signals = imports.signals; +const St = imports.gi.St; const Chrome = imports.ui.chrome; const Overview = imports.ui.overview; @@ -75,6 +76,10 @@ function start() { for (let i = 0; i < children.length; i++) 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) { // Make sure not more than one run dialog is shown. getRunDialog().open();