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
