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

⌈⌋ ⎇ branch:  streamtuner2


Timeline

7 check-ins using file help/html/reddit.html version cb032a44b3

2016-12-03
21:26
minor updates check-in: ed3c221a07 user: mario tags: trunk
21:24
lsplugins: export {png} to help/img/ check-in: f9e21a1d69 user: mario tags: trunk
21:24
Fix regex groups for find_player_win path quoting check-in: a03f6235f0 user: mario tags: trunk
21:23
Removed plugin option background colors. check-in: 9520bc51a3 user: mario tags: trunk
14:47
Introduce Gtk theme switching again. check-in: 303e1c8e48 user: mario tags: trunk
14:47
Prevent crash on absent opt["select"] field. check-in: 2e9f6d9a19 user: mario tags: trunk
2016-12-02
23:08
Mirror manual changes into HTML pages. check-in: 731728afab user: mario tags: trunk