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

⌈⌋ branch:  streamtuner2


Check-in [ec7df3c333]

Overview
SHA1:ec7df3c333f5cf80442dc960e8acd0365cefdc9b
Date: 2016-12-14 15:57:06
User: mario
Comment:new plugin: theme installer for Gtk2 and Windows; fixed for support of JSON format; gtk_reset_styles -- Oliver
Timelines: family | ancestors | descendants | both | trunk
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2016-12-15
20:29
[45774fa6d9] Change priority from obsolete to outdated (user: mario, tags: trunk)
2016-12-14
15:57
[ec7df3c333] new plugin: theme installer for Gtk2 and Windows; fixed for support of JSON format; gtk_reset_styles -- Oliver (user: mario, tags: trunk)
2016-12-11
19:16
[fdc2e9e4c4] Support file open dialog (user: mario, tags: trunk)
Changes

Modified channels/favicon.py from [8c7cddb000] to [ef3ab53102].    [diff]

Modified contrib/gtk_theme.py from [1923315d1d] to [9433f9c695].    [diff]

Added contrib/theme_installer.py version [d37a7bfc56].

Modified dev/install_python_gtk.ps1 from [e1ab50fb3b] to [d1faae1ee5].    [diff]