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

⌈⌋ branch:  streamtuner2


Check-in [0ef1977fd2]

Overview
SHA1:0ef1977fd28b40c258dad95176ad6ecf7cc0ee4d
Date: 2016-12-18 20:32:22
User: Oliver
Comment:os.access(gtk_dir, os.W_OK) in installhandler() not working on Windows (10). Incorrectly returns true for ProgramFiles paths, thus dll copying failed. Finally more cleanup code to remove the zip file, as well as dll - after successful extraction. → clear_theme() and clear_dll() are the new corresponding functions.
Timelines: family | ancestors | descendants | both | trunk
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2016-12-18
20:34
[fb1512484e] Minor fixes to Win installer/uninstall, regarding background color, and streamripper detection. (user: Oliver, tags: trunk)
20:32
[0ef1977fd2] os.access(gtk_dir, os.W_OK) in installhandler() not working on Windows (10). Incorrectly returns true for ProgramFiles paths, thus dll copying failed. Finally more cleanup code to remove the zip file, as well as dll - after successful extraction. → clear_theme() and clear_dll() are the new corresponding functions. (user: Oliver, tags: trunk)
14:04
[0c7040e314] Add more .progress() indication (user: mario, tags: trunk)
Changes

Modified contrib/theme_installer.py from [d8378ec0f4] to [c01fa877e8].    [diff]