After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 642876 - 'rt' command unload all extension CSS stylesheets
'rt' command unload all extension CSS stylesheets
Status: RESOLVED OBSOLETE
Product: gnome-shell
Classification: Core
Component: general
unspecified
Other Linux
: Normal minor
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2011-02-21 15:01 UTC by Quentin "Sardem FF7" Glidic
Modified: 2011-06-27 23:44 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Reload extensions CSS stylsheet after loadTheme() (2.95 KB, patch)
2011-02-21 15:03 UTC, Quentin "Sardem FF7" Glidic 		none Details | Review
Reload extension CSS stylesheets after loadTheme() (2.76 KB, patch)
2011-02-24 18:03 UTC, Quentin "Sardem FF7" Glidic 		none Details | Review

Description Quentin "Sardem FF7" Glidic 2011-02-21 15:01:42 UTC 
When loadTheme() from main.js is called, it resets the CSS state so all CSS extension stylesheets are unloaded.

We should add a reload of extension stylesheets after the theme loading.
Comment 1 Quentin "Sardem FF7" Glidic 2011-02-21 15:03:51 UTC 
Created attachment 181464 [details] [review]
Reload extensions CSS stylsheet after loadTheme()
Comment 2 Quentin "Sardem FF7" Glidic 2011-02-24 18:03:13 UTC 
Created attachment 181855 [details] [review]
Reload extension CSS stylesheets after loadTheme()

Small fix and rebase
Comment 3 Florian Müllner 2011-06-27 23:44:38 UTC 
Fixed in bug 650971.