def __init__(self, adjustment=None): Range.__init__(self, adjustment) # assign instance variables self.down_arrow = browser.Element('div') self.up_arrow = browser.Element('div') # shortcuts down_arrow = self.down_arrow up_arrow = self.up_arrow # use them down_arrow.setStyle('position', 'absolute') down_arrow.setPxStyle('height', 15) down_arrow.setPxStyle('width', 15) down_arrow.catchEvents(['click'], self) up_arrow.setStyle('position', 'absolute') up_arrow.setPxStyle('height', 15) up_arrow.setPxStyle('width', 15) up_arrow.catchEvents(['click'], self) self.line = browser.Element('div') self.line.setStyle('position', 'absolute') self.line.setProperty('className', 'scrollbar') self.line.catchEvents(['click'], self) self.cursor = browser.Element('div') self.cursor.setStyle('position', 'absolute') self.cursor.setProperty('className', 'scrollbar-cursor') self.widget_cont.append(down_arrow) self.widget_cont.append(self.line) self.widget_cont.append(up_arrow) self.mouseover = False self.cursor.catchEvents(['mousedown'], self) self.value.setStyle('visibility', 'hidden') browser.Document.document.catchEvents(['mousemove'], self) browser.Document.document.catchEvents(['mouseup'], self)
def __init__(self): Misc.__init__(self) self.img = browser.Element('img') self.img.setStyle('position', 'absolute') self.img.setStyle('width', 'auto') self.img.setStyle('height', 'auto') self.widget_cont.append(self.img) self.widget_cont.setProperty('className', 'image')
def __init__(self, adjustment=None): Range.__init__(self, adjustment) self.line = browser.Element('div') self.line.setStyle('position', 'absolute') self.line.setProperty('className', 'scale') self.line.catchEvents(['click'], self) self.cursor = browser.Element('div') self.cursor.setStyle('position', 'absolute') self.cursor.setProperty('className', 'scale-cursor') self.widget_cont.append(self.line) self.mouseover = False self.value_pos = POS_TOP self.draw_value = True self.digits = 1 self.cursor.catchEvents(['mousedown'], self) browser.Document.document.catchEvents(['mousemove'], self) browser.Document.document.catchEvents(['mouseup'], self)
def __init__(self, adjustment=None): Widget.__init__(self) self.value = browser.Element('div') self.value.setStyle('position', 'absolute') self.widget_cont.append(self.value) if adjustment is not None: self.adjustment = adjustment else: self.adjustment = Adjustment() self.adjustment.connect('value-changed', self._adjustment_value_changed) self.adjustment.connect('changed', self._adjustment_changed) self.value.setHTML(str(self.adjustment.get_value()))
def __init__(self, str=None): Misc.__init__(self) self.label = browser.Element('div') self.label.setStyle('position', 'absolute') self.label.setStyle('width', 'auto') self.label.setStyle('height', 'auto') self.label.setStyle('whiteSpace', 'nowrap') self.label.setHTML(str) self.widget_cont.append(self.label) self.widget_cont.setStyle('visibility', 'visible') self.widget_cont.setProperty('className', 'label')
def __init__(self): Button.__init__(self) self.ico = browser.Element('img') self.ico.setProperty('src', 'arr.png') self.ico.setStyle('position', 'absolute') self.ico.setPxStyle('right', 2) self.widget_int.append(self.ico) self.connect('clicked', self._clicked, None) self.menu = None self.menu_open = False self.label = Label('') self.label.set_alignment(0, 0.5) self.add(self.label)
def __init__(self): Object.__init__(self) self._visible = False self.widget_cont = browser.Element('div') self.widget_cont.setStyle('visibility', 'hidden') self.widget_cont.setStyle('position', 'absolute') self.widget_cont.setStyle('overflow', 'hidden') self.minheight = 1 self.minwidth = 1 self.widget_cont.setPxStyle('minHeight', self.minheight) self.widget_cont.setPxStyle('minWidth', self.minwidth) self.margin = 0 self.widget_cont.setPxStyle('margin', self.margin) self._parent = None
def __init__(self, label=None): ToggleButton.__init__(self) self.check = browser.Element('input') self.check.setStyle('position', 'absolute') self.check.setStyle('width', 'auto') self.check.setStyle('height', 'auto') self.check.setPxStyle('left', 0) self.check.setProperty('type', 'checkbox') self.check_widget = Widget() self.check_widget.widget_cont.append(self.check) self.check_widget.show() self.box = HBox(spacing=6) self.box.show() self.box.pack_start(self.check_widget, False) self.add(self.box) if label is not None: self.label = Label(label) self.box.pack_start(self.label, False) self.widget_int.setProperty('className', 'checkbutton')
def __init__(self): Separator.__init__(self) self.separator = browser.Element('hr') self.widget_cont.append(self.separator) self.widget_cont.setProperty('className', 'hseparator') self.minheight = 10