def __init__(self, max_lines=10):
self.window = None
self.max_lines = max_lines
self.redraw = Event('menu.redraw')
self.redraw.listen(self._redraw)
self.submit_ev = Event('menu.submit')
self.submit_ev.listen(self._submit)
self.complete = Event('menu.complete')
self.complete.listen(self._complete)
self.close = Event('menu.close')
self.close.listen(self._close)
def __init__(self, screen, width, groups, states):
self.screen = screen
self.width = width
self._cairo = None
self._img = None
self.redraw = Event('leftbar.redraw')
self.redraw.listen(self._redraw)
self.repaint = Event('leftbar.repaint')
self.repaint.listen(self._paint)
self.screen.add_group_hook(self._group_hook)
self.visible = False
self.groups = groups
self.states = states
self._drawn_group = None
def __init__(self, widgets, position='top'):
self.widgets = widgets
self.position = position
self.bounds = None
self.window = None
self.redraw = Event('bar.redraw')
self.redraw.listen(self.expose)
def __init__(self):
self.topbars = []
self.bottombars = []
self.leftslices = []
self.rightslices = []
self.updated = Event('screen.updated')
self.bars_visible = True
self.group_hooks = []
def __init__(self):
self.visible = False
self.relayout = Event('layout.relayout')
self.relayout.listen(self.check_relayout)
