From a4d7a4eba46a7b3647024eb36dd9ce1ce09a5cb7 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Sat, 19 Mar 2011 18:21:27 +0100
Subject: [PATCH] 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 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index 136b6f5f..a9f095ee 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();
+        }
     }
 }