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

⌈⌋ branch:  streamtuner2


Diff

Differences From Artifact [e851df07e7]:

To Artifact [2d60af2beb]:


297
298
299
300
301
302
303

304
305


306
307
308
309
310
311
312
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315







+


+
+






                # gtk.Toolbar
                if t == gtk.Toolbar:
                    r[wn]["icon_size"] = int(w.get_icon_size())
                    r[wn]["style"] = int(w.get_style())
                # gtk.Notebook
                if t == gtk.Notebook:
                    r[wn]["page"] = w.get_current_page()
                    r[wn]["tab_pos"] = int(w.get_tab_pos())
            #print(r)
            return r

        gtk_position_type_enum = [gtk.POS_LEFT, gtk.POS_RIGHT, gtk.POS_TOP, gtk.POS_BOTTOM]


        #-- restore window and widget properties
        #
        # requires only the previously saved widget state dict
        #
        @staticmethod
337
338
339
340
341
342
343


344
345
346
347
348
349
350
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355







+
+






                    if method == "icon_size":
                        w.set_icon_size(args)
                    if method == "style":
                        w.set_style(args)
                    # gtk.Notebook
                    if method == "page":
                        w.set_current_page(args)
                    if method == "tab_pos":
                        w.set_tab_pos(r[wn]["tab_pos"])

            pass



        #-- Save-As dialog
        #