Check-in [ec7df3c333]
Overview
| Comment: | new plugin: theme installer for Gtk2 and Windows; fixed for support of JSON format; gtk_reset_styles -- Oliver |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
ec7df3c333f5cf80442dc960e8acd036 |
| User & Date: | mario on 2016-12-14 15:57:06 |
| Other Links: | manifest | tags |
Context
|
2016-12-15
| ||
| 20:29 | Change priority from obsolete to outdated check-in: 45774fa6d9 user: mario tags: trunk | |
|
2016-12-14
| ||
| 15:57 | new plugin: theme installer for Gtk2 and Windows; fixed for support of JSON format; gtk_reset_styles -- Oliver check-in: ec7df3c333 user: mario tags: trunk | |
|
2016-12-11
| ||
| 19:16 | Support file open dialog check-in: fdc2e9e4c4 user: mario tags: trunk | |
Changes
Modified channels/favicon.py from [8c7cddb000] to [ef3ab53102].
| ︙ | |||
321 322 323 324 325 326 327 | 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 | - + |
image.save(out, "PNG", quality=98)
imgdata = out.getvalue()
except Exception as e:
#traceback.print_exc()
return log.ERR("favicon/logo conversion error:", e) and False
else:
|
| ︙ |
Modified contrib/gtk_theme.py from [1923315d1d] to [9433f9c695].
| ︙ | |||
56 57 58 59 60 61 62 63 64 65 66 67 68 69 | 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()
|
| ︙ |
Added contrib/theme_installer.py version [d37a7bfc56].