def __build_datawidgets(self, page): self.__datawidgets = {} size = gtk.SizeGroup(gtk.SIZE_GROUP_HORIZONTAL) lsize = gtk.SizeGroup(gtk.SIZE_GROUP_HORIZONTAL) #size.set_orientation(gtk.SIZE_GROUP_HORIZONTAL) for name, rtype, default, doc in self.__schema: option = rtype(name, doc, default) widget_type = registrywidgets.get_widget(rtype) widget = widget_type(option) page.pack_start(widget.win, expand=False) size.add_widget(widget.widget) lsize.add_widget(widget.name_l) self.__datawidgets[name] = widget
def __build_datawidgets(self, page): self.__datawidgets = {} size = gtk.SizeGroup(gtk.SIZE_GROUP_HORIZONTAL) lsize = gtk.SizeGroup(gtk.SIZE_GROUP_HORIZONTAL) #size.set_orientation(gtk.SIZE_GROUP_HORIZONTAL) for name, rtype, default, doc in self.__schema: option = rtype(name, doc, default) widget_type = registrywidgets.get_widget(rtype) widget = widget_type(option) page.pack_start(widget.win, expand=False) size.add_widget(widget.widget) lsize.add_widget(widget.name_l) self.__datawidgets[name] = widget
def create_page_from_optiongroup(optiongroup, parentname): sw = gtk.ScrolledWindow() sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC) vbox = gtk.VBox(spacing=12) vbox.set_border_width(12) vbox.show() sw.add_with_viewport(vbox) name_label = gtk.Label() name_label.set_markup(PARENT_TITLE % parentname) name_label.set_justify(gtk.JUSTIFY_LEFT) name_label.set_alignment(0, 0.5) vbox.pack_start(name_label, expand=False) name_label = gtk.Label() name_label.set_markup(SECTION_TITLE % ' '.join(optiongroup.name.split('_')).capitalize()) name_label.set_justify(gtk.JUSTIFY_LEFT) name_label.set_alignment(0, 0.5) vbox.pack_start(name_label, expand=False) hbox = gtk.HBox(spacing=0) vbox.pack_start(hbox) space = gtk.Label(" ") space.show() hbox.pack_start(space, expand=False) hbox.show() vbox = gtk.VBox(spacing=12) hbox.pack_start(vbox, expand=False) size_group = gtk.SizeGroup(gtk.SIZE_GROUP_HORIZONTAL) widgets = [] for option in optiongroup: widget_type = registrywidgets.get_widget(option.__class__) widget_holder = widget_type(option) widget_holder.load() widget_holder.get_widget().show() size_group.add_widget(widget_holder.get_name_label()) vbox.pack_start(widget_holder, expand=False) widgets.append(((optiongroup.name, option.name), widget_holder)) sw.show_all() return sw, widgets
def create_page_from_optiongroup(optiongroup, parentname): sw = gtk.ScrolledWindow() sw.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC) vbox = gtk.VBox(spacing=12) vbox.set_border_width(12) vbox.show() sw.add_with_viewport(vbox) name_label = gtk.Label() name_label.set_markup(PARENT_TITLE % parentname) name_label.set_justify(gtk.JUSTIFY_LEFT) name_label.set_alignment(0, 0.5) vbox.pack_start(name_label, expand=False) name_label = gtk.Label() name_label.set_markup(SECTION_TITLE % ' '.join(optiongroup.name.split('_')).capitalize()) name_label.set_justify(gtk.JUSTIFY_LEFT) name_label.set_alignment(0, 0.5) vbox.pack_start(name_label, expand=False) hbox = gtk.HBox(spacing=0) vbox.pack_start(hbox) space = gtk.Label(" ") space.show() hbox.pack_start(space, expand=False) hbox.show() vbox = gtk.VBox(spacing=12) hbox.pack_start(vbox, expand=False) size_group = gtk.SizeGroup(gtk.SIZE_GROUP_HORIZONTAL) widgets = [] for option in optiongroup: widget_type = registrywidgets.get_widget(option.__class__) widget_holder = widget_type(option) widget_holder.load() widget_holder.get_widget().show() size_group.add_widget(widget_holder.get_name_label()) vbox.pack_start(widget_holder, expand=False) widgets.append(((optiongroup.name, option.name), widget_holder)) sw.show_all() return sw, widgets