Check-in [aaa8a00cd4]
Overview
| Comment: | Fix gtk.rc_reset_styles |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
aaa8a00cd432e4280196efcea880c3fd |
| User & Date: | mario on 2016-12-15 20:29:57 |
| Other Links: | manifest | tags |
Context
|
2016-12-15
| ||
| 20:30 | new plugin: streema check-in: a465b6d3b5 user: mario tags: trunk | |
| 20:29 | Fix gtk.rc_reset_styles check-in: aaa8a00cd4 user: mario tags: trunk | |
| 20:29 | Change priority from obsolete to outdated check-in: 45774fa6d9 user: mario tags: trunk | |
Changes
Modified contrib/gtk_theme.py from [9433f9c695] to [b5df3c1053].
| ︙ | ︙ | |||
56 57 58 59 60 61 62 |
if not os.path.exists(fn):
continue
log.GTK_THEME_FILE(fn)
# .GTKRC/Gtk2
if uikit.ver == 2:
uikit.gtk.rc_parse(fn)
if now or conf.theme_instant:
| | | 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 |
if not os.path.exists(fn):
continue
log.GTK_THEME_FILE(fn)
# .GTKRC/Gtk2
if uikit.ver == 2:
uikit.gtk.rc_parse(fn)
if now or conf.theme_instant:
uikit.gtk.rc_reset_styles(uikit.gtk.settings_get_for_screen(uikit.gtk.gdk.screen_get_default()))
uikit.gtk.rc_reparse_all()
# .CSS/Gtk3
elif now or conf.theme_instant:
#ctx = uikit.gtk.StyleContext # global
ctx = self.parent.win_streamtuner2.get_style_context() # main window
screen = uikit.gtk.gdk.Screen.get_default()
style = uikit.gtk.CssProvider()
|
| ︙ | ︙ |