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

⌈⌋ ⎇ branch:  streamtuner2


Check-in [5fcd7309eb]

Overview
Comment:Check for "theme" key to exist in conf.*
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 5fcd7309ebd4593284cb689cb335cb2a8b2f9e65
User & Date: mario on 2016-12-10 12:20:50
Other Links: manifest | tags
Context
2016-12-10
12:21
Remove $optionalInstall check (now in $task rule) check-in: 7ff513e315 user: mario tags: trunk
12:20
Check for "theme" key to exist in conf.* check-in: 5fcd7309eb user: mario tags: trunk
12:20
Updated comment, more correct regex (albeit it's too strict in comparison to the real date/time extraction method now) check-in: 6b99231fbe user: mario tags: trunk
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Modified contrib/gtk_theme.py from [72deb69630] to [da18de4370].

︙
85
86
87
88
89
90
91
92

93
94
95
96

85
86
87
88
89
90
91

92
93
94
95
96








-
+





                    if os.path.exists("%s/%s/gtk-%s.0" % (dir, fn, uikit.ver)):
                        themes.append(fn)
        themes = ["default"] + sorted(themes)
        
        # add to list
        for t in themes:
            cb.ls.append([t, t])
        if conf.theme in themes:
        if ("theme" in conf) and (conf.theme in themes):
            cb.set_default(conf.theme)
        else:
            cb.set_default("default")