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
                # 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()

            #print(r)
            return r




        #-- restore window and widget properties
        #
        # requires only the previously saved widget state dict
        #
        @staticmethod







>


>
>







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
                    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)



            pass



        #-- Save-As dialog
        #







>
>







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
        #