def __init__(self, title, menu):
self.image = TextImage(Size(0, 0))
self.title = title
self.menu = menu
self.option_count = len(menu)
self.position = 0 # Zero-based index of the selected menu option
self.selection = [self.position]
def consume_event(self, event: Event):
if event.kind == EVENT_RESIZE:
self.image = TextImage(event.data) # data is the new size
elif event.kind == EVENT_KEYBOARD and event.data.key == "enter":
raise StopIteration
self.repaint(event)
return self.image
def consume_event(self, event: Event):
if event.kind == EVENT_RESIZE:
self.image = TextImage(event.data) # data is the new size
elif event.kind == EVENT_KEYBOARD:
if event.data.key == "down":
if self.position < self.option_count:
self.position += 1
else:
self.position = 0
elif event.data.key == "up":
if self.position > 0:
self.position -= 1
else:
self.position = self.option_count
elif (event.data.key == "enter"
and self.position == self.option_count):
raise StopIteration(self.selection)
elif event.data.key == "space":
if self.position in self.selection:
self.selection.remove(self.position)
elif self.position < self.option_count:
self.selection.append(self.position)
if not self.multiple_allowed:
self.selection = [self.position]
self.repaint(event)
return self.image
def __init__(self, tree, title):
self.image = TextImage(Size(0, 0))
self.tree = tree
self.title = title
self.top = 0 # Top line number
self.highlight = 0 # Highlighted line number
self.summary = True
def __init__(self, title, menu, selection=[0], multiple_allowed=True):
self.image = TextImage(Size(0, 0))
self.title = title
self.menu = menu
self.option_count = len(menu)
self.position = 0 # Zero-based index of the selected menu option
self.multiple_allowed = multiple_allowed
if self.option_count:
self.selection = selection
else:
self.selection = []
def consume_event(self, event: Event):
if event.kind == EVENT_RESIZE:
self.image = TextImage(event.data) # data is the new size
elif event.kind == EVENT_KEYBOARD:
self.image = TextImage(self.image.size)
if event.data.key == "up":
self._scroll("up")
elif event.data.key == "down":
self._scroll("down")
elif event.data.key == "space":
self._selectNode()
elif event.data.key == "enter":
self._toggleNode()
elif event.data.key in 'sS':
self.tree.set_descendants_state(True)
elif event.data.key in 'dD':
self.tree.set_descendants_state(False)
elif event.data.key in 'tT':
raise StopIteration
self.repaint(event)
return self.image
def __init__(self, text):
self.image = TextImage(Size(0, 0))
self.text = text