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

⌈⌋ branch:  streamtuner2


Check-in [aaa8a00cd4]

Overview
SHA1:aaa8a00cd432e4280196efcea880c3fd61a7af7b
Date: 2016-12-15 20:29:57
User: mario
Comment:Fix gtk.rc_reset_styles
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:30
[a465b6d3b5] new plugin: streema (user: mario, tags: trunk)
20:29
[aaa8a00cd4] Fix gtk.rc_reset_styles (user: mario, tags: trunk)
20:29
[45774fa6d9] Change priority from obsolete to outdated (user: mario, tags: trunk)
Changes

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