def __init__(self, owner, filter=None): HScrolledBox.__init__(self) self.owner = owner self.colors = owner.colors # TODO gtk3 no masks yet #self.blockMask = owner.blockMask self.filter = filter self.desktop = owner.getDesktop() self.pickerBox = Gtk.HBox() self.set_viewport(self.pickerBox) self.modify_bg(Gtk.StateType.NORMAL, self.colors["Picker_Bg"]) # spacers self.pickerBox.pack_start(Gtk.Label(" "), True, True, 0) self.pickerBox.pack_end(Gtk.Label(" "), True, True, 0) self.show_all() self.scroll = {} self.scroll[filter] = 0 self.blocks = []
def __init__(self, owner, filter=None): HScrolledBox.__init__(self) self.owner = owner self.colors = owner.colors # TODO gtk3 no masks yet # self.blockMask = owner.blockMask self.filter = filter self.desktop = owner.getDesktop() self.pickerBox = Gtk.HBox() self.set_viewport(self.pickerBox) self.modify_bg(Gtk.StateType.NORMAL, self.colors["Picker_Bg"]) # spacers self.pickerBox.pack_start(Gtk.Label(" "), True, True, 0) self.pickerBox.pack_end(Gtk.Label(" "), True, True, 0) self.show_all() self.scroll = {} self.scroll[filter] = 0 self.blocks = []
def __init__(self, owner, filter=None): HScrolledBox.__init__(self) self.owner = owner # take drawing setup from owner self.gc = owner.gc self.colors = owner.colors self.blockMask = owner.blockMask self.filter = filter self.desktop = owner.getDesktop() self.pickerBox = gtk.HBox() self.set_viewport(self.pickerBox) self.modify_bg(gtk.STATE_NORMAL, self.colors["Picker_Bg"]) # spacers self.pickerBox.pack_start(gtk.Label(" "), True, True) self.pickerBox.pack_end(gtk.Label(" "), True, True) self.show_all() self.scroll = {} self.scroll[filter] = 0 self.blocks = []