From 512798f9c698b92bfe4aebb7fbc10a04d452991c Mon Sep 17 00:00:00 2001 From: Maxim Ermilov Date: Tue, 4 Jan 2011 14:30:03 -0500 Subject: [PATCH] Factor out a function to load the default theme We will use this function elsewhere when the theme needs to be reloaded. https://bugzilla.gnome.org/show_bug.cgi?id=630428 --- js/ui/main.js | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/js/ui/main.js b/js/ui/main.js index e08781bfc..86e510237 100644 --- a/js/ui/main.js +++ b/js/ui/main.js @@ -109,10 +109,7 @@ function start() { global.stage.color = DEFAULT_BACKGROUND_COLOR; global.stage.no_clear_hint = true; - let themeContext = St.ThemeContext.get_for_stage (global.stage); - let stylesheetPath = global.datadir + '/theme/gnome-shell.css'; - let theme = new St.Theme ({ application_stylesheet: stylesheetPath }); - themeContext.set_theme (theme); + loadTheme(); let shellwm = global.window_manager; shellwm.takeover_keybinding('panel_main_menu'); @@ -201,6 +198,18 @@ function start() { } } +/** + * loadTheme: + * + * Reloads the theme CSS file from the default theme. + */ +function loadTheme() { + let themeContext = St.ThemeContext.get_for_stage (global.stage); + let stylesheetPath = global.datadir + '/theme/gnome-shell.css'; + let theme = new St.Theme ({ application_stylesheet: stylesheetPath }); + themeContext.set_theme (theme); +} + /** * _log: * @category: string message type ('info', 'error')