def __init__(self, controls):
super(Controller, self).__init__(False, 0)
self.perspectives_container = StackableWidget()
self.button_container = Gtk.HBox(False, 0)
self.button_controller = OneButtonToggled()
self.perspectives = {}
## internal property
self._perspectives = []
self.filter = FilterControl(self)
self.pack_start(self.perspectives_container, True, True, 0)
self.pack_start(self.filter, False, False, 0)
self.pack_start(self.button_container, False, False, 0)
## insert dummy page
self.perspectives_container.add(Gtk.Label(""))
self.show_all()
def __init__(self, controls):
super(RadioPerspective, self).__init__()
self.auto_radio = RadioTreeControl(controls)
self.my_radio = MyRadioTreeControl(controls)
self.switch_button = Gtk.Button.new()
self.switch_button.connect("clicked", self.switch_radio)
self.vbox = Gtk.Box.new(Gtk.Orientation.VERTICAL, 0)
self.radios = StackableWidget()
self.radios.add(self.auto_radio.scroll)
self.radios.add(self.my_radio.scroll)
self.vbox.pack_start(self.radios, True, True, 0)
self.vbox.pack_start(self.switch_button, False, False, 0)
self.vbox.show_all()
self.update_button_label()
def __init__(self, controls):
Gtk.Box.__init__(self, orientation=Gtk.Orientation.VERTICAL, spacing=0)
self.scroll = Gtk.ScrolledWindow()
self.scroll.add(self)
self.scroll.set_border_width(0)
viewport = self.scroll.get_child()
viewport.set_shadow_type(Gtk.ShadowType.NONE)
self.perspectives_container = StackableWidget()
self.button_container = Gtk.Box.new(Gtk.Orientation.HORIZONTAL, 0)
self.button_controller = OneButtonToggled()
self.perspectives = {}
## internal property
self._perspectives = []
self.filter = FilterControl(self)
self.pack_start(self.perspectives_container, True, True, 0)
self.pack_start(self.filter, False, False, 0)
self.pack_start(self.button_container, False, False, 0)
## insert dummy page
self.perspectives_container.add(Gtk.Label.new(""))
self.show_all()
