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

⌈⌋ ⎇ branch:  streamtuner2


Check-in [193527df2c]

Overview
Comment:Add basic menu_label= manually (GtkBuilder option seems to have no effect, only populates tab_label= with child widget.)
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 193527df2c14de3420eb9a30ad1b454cdac793a3
User & Date: mario on 2015-03-31 19:26:07
Other Links: manifest | tags
Context
2015-04-01
11:15
Remove gtk/visibility setting in favour of show_all(). Fix pixbuf creation, b64decode ignoring non-base64 data. check-in: 1786e24701 user: mario tags: trunk
2015-03-31
19:26
Add basic menu_label= manually (GtkBuilder option seems to have no effect, only populates tab_label= with child widget.) check-in: 193527df2c user: mario tags: trunk
19:25
Made RadioTray fallback `play` available as option instead of bookmarking. check-in: b8fcd3c3e0 user: mario tags: trunk
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Modified channels/bookmarks.py from [1622338506] to [de1d64d722].

︙
47
48
49
50
51
52
53






54
55
56
57
58
59
60

47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66








+
+
+
+
+
+








        current = "favourite"
        default = "favourite"
        streams = {"favourite":[], "search":[], "scripts":[], "timer":[], "history":[], }
        

        # cache list, to determine if a PLS url is bookmarked
        urls = []
        
        
        
        def gui(self, parent):
            GenericChannel.gui(self, parent)
            parent.notebook_channels.set_menu_label_text(parent.v_bookmarks, "bookmarks")


        # this channel does not actually retrieve/parse data from anywhere
        def update_categories(self):
            pass
            
        # but category sub-plugins might provide a hook
︙