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