Diff
Differences From Artifact [1923315d1d]:
- File contrib/gtk_theme.py — part of check-in [88aac7840a] at 2016-12-10 13:55:47 on branch trunk — Use `module = __name__` consistently for all plugins (user: mario, size: 3188) [annotate] [blame] [check-ins using]
To Artifact [9433f9c695]:
- File contrib/gtk_theme.py — part of check-in [ec7df3c333] at 2016-12-14 15:57:06 on branch trunk — new plugin: theme installer for Gtk2 and Windows; fixed for support of JSON format; gtk_reset_styles -- Oliver (user: mario, size: 3302) [annotate] [blame] [check-ins using]
| ︙ | ︙ | |||
56 57 58 59 60 61 62 63 64 65 66 67 68 69 |
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_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()
| > | 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.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()
|
| ︙ | ︙ |