brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

main: Always pass a default stylesheet when constructing the theme

Browse Source 
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
This commit is contained in:
Florian Müllner 2013-05-10 16:00:20 +02:00
parent 1290c98c9b
commit 990f68375e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
js/ui/main.js
View File

@ -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();