[gnome-shell-extensions] User Themes: don't load a null stylesheet

[Giovanni Campagna <gcampagna src gnome org>]

commit a4d7a4eba46a7b3647024eb36dd9ce1ce09a5cb7
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sat Mar 19 18:21:27 2011 +0100

    User Themes: don't load a null stylesheet
    
    If the stylesheet is not set, or it cannot be found, don't try to
    load it.

 extensions/user-theme/extension.js |    8 +++++---
 1 files changed, 5 insertions(+), 3 deletions(-)
---
diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index 136b6f5..a9f095e 100644
--- a/extensions/user-theme/extension.js
+++ b/extensions/user-theme/extension.js
@@ -31,9 +31,11 @@ ThemeManager.prototype = {
                 _stylesheet = _userCssStylesheet;
         }
 
-        global.log('loading user theme: ' + _stylesheet)
-        Main.setThemeStylesheet(_stylesheet);
-        Main.loadTheme();
+        if (_stylesheet) {
+            global.log('loading user theme: ' + _stylesheet)
+            Main.setThemeStylesheet(_stylesheet);
+            Main.loadTheme();
+        }
     }
 }