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

⌈⌋ branch:  streamtuner2


Check-in [41291d31ab]

Overview
SHA1:41291d31ab45580921d7672a79ea0ae08c1c5164
Date: 2016-12-26 20:27:55
User: mario
Comment:User standard pluginconf.dependency() for themes filtering.
Timelines: family | ancestors | descendants | both | trunk
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2016-12-26
20:42
[837517237c] Exempt `%` from Win quoting. (user: Oliver, tags: trunk)
20:27
[41291d31ab] User standard pluginconf.dependency() for themes filtering. (user: mario, tags: trunk)
15:56
[7027676c80] Introduce `depends:` field for themes as well (no version support, just basenames for linux/windows/gtk2/gtk3) (user: mario, tags: trunk)
Changes

Modified contrib/theme_installer.py from [ffc788c6a2] to [1a05b24e01].    [diff]

Modified pluginconf.py from [1a7e07fce3] to [69c2b6a573].    [diff]