Internet radio browser GUI for music/video streams from various directory services.

⌈⌋ ⎇ branch:  streamtuner2


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: aaa8a00cd432e4280196efcea880c3fd61a7af7b
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
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()







|







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()