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

⌈⌋ branch:  streamtuner2


Check-in [80ca7a6731]

Overview
SHA1:80ca7a6731c2bb9f81203f6926f331e6d8bf10a1
Date: 2016-12-31 14:14:37
User: mario
Comment:Apply new options right when installing plugins.
Timelines: family | ancestors | descendants | both | trunk
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2016-12-31
14:14
[576bac1d25] Fetch meta["title"] instead of ["id"] for About dialog (user: mario, tags: trunk)
14:14
[80ca7a6731] Apply new options right when installing plugins. (user: mario, tags: trunk)
13:45
[70b35b914f] Option `file_browser_converttourl` (user: mario, tags: trunk)
Changes

Modified channels/pluginmanager2.py from [7d11864bfe] to [1b1b12b5ad].    [diff]