gnome-shell/js
Florian Müllner 990f68375e 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
2013-05-10 19:41:50 +02:00
..
extensionPrefs extensionPrefs: Fix opening extension preferences on startup 2013-02-28 15:37:29 +01:00
gdm modalDialog: Show spinner when working 2013-05-09 17:38:21 +02:00
misc Only recognize common url schemes in notification messages 2013-04-29 11:22:44 -04:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui main: Always pass a default stylesheet when constructing the theme 2013-05-10 19:41:50 +02:00
Makefile.am Revert "Add an OSD for sticky modifiers" 2013-04-15 18:39:52 -04:00