[gnome-shell] main: Always pass a default stylesheet when constructing the theme

[Florian Müllner <fmuellner src gnome org>]

commit 990f68375e625de2883d290f908c60beb68e5393
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri May 10 16:00:20 2013 +0200

    main: Always pass a default stylesheet when constructing the theme
    
    There is not always a clear distinction between code and style,
    which is why the interface ends up being mostly unusable when we
    end up without *any* style, for instance because the specified
    application-stylesheet is corrupt.
    Setting the default stylesheet in addition to the application-stylesheet
    is no guarantee for non-default themes not messing up the interface, but
    it should at least lower the risk ...
    
    https://bugzilla.gnome.org/show_bug.cgi?id=700097

 js/ui/main.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 7232deb..b4e4687 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -446,7 +446,8 @@ function loadTheme() {
     if (_cssStylesheet != null)
         cssStylesheet = _cssStylesheet;
 
-    let theme = new St.Theme ({ application_stylesheet: cssStylesheet });
+    let theme = new St.Theme ({ application_stylesheet: cssStylesheet,
+                                default_stylesheet: _defaultCssStylesheet });
 
     if (previousTheme) {
         let customStylesheets = previousTheme.get_custom_stylesheets();