From 72583b1bf683943c1e4a641cc28ade1b69dcd025 Mon Sep 17 00:00:00 2001 From: Martin Dengler Date: Tue, 17 May 2011 15:16:13 +0800 Subject: [PATCH] fix undeclared file variable in user-theme/extension.js Eliminates the warning message about assigning to an undeclared variable when User Theme extension is used. Fixes BZ #651374. --- extensions/user-theme/extension.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js index 2e61dade..be1416ff 100644 --- a/extensions/user-theme/extension.js +++ b/extensions/user-theme/extension.js @@ -26,14 +26,14 @@ ThemeManager.prototype = { if (_themeName) { let _userCssStylesheet = GLib.get_home_dir() + '/.themes/' + _themeName + '/gnome-shell/gnome-shell.css'; - file = Gio.file_new_for_path(_userCssStylesheet); + let file = Gio.file_new_for_path(_userCssStylesheet); if (file.query_exists(null)) _stylesheet = _userCssStylesheet; else { let sysdirs = GLib.get_system_data_dirs(); for (let i = 0; i < sysdirs.length; i++) { _userCssStylesheet = sysdirs[i] + '/themes/' + _themeName + '/gnome-shell/gnome-shell.css'; - file = Gio.file_new_for_path(_userCssStylesheet); + let file = Gio.file_new_for_path(_userCssStylesheet); if (file.query_exists(null)) { _stylesheet = _userCssStylesheet; break;