def __init__(self, block_proxy):
self.block = block_proxy.get()
self.ellipsis = make_label(style.ellipsis, '...', True)
self.statement_box = VBox(CacheMap(StatementWidgetMaker.make, self.block.statements),
relay_focus=True)
self.proxy_widget = ProxyWidget(ValueContainer(self.statement_box))
VBox.__init__(self, List([
make_label(style.braces, '{'),
indented(self.proxy_widget),
make_label(style.braces, '}'),
]))
self.info_shower = InfoShower(self.ellipsis.focus_keymap.obs_activation)
self.info_shower.info_widget = self.statement_box
self.keymap.register_key(
self.insert_statement_key,
Keymap.keydown_noarg(self._insert_statement)
)
self.keymap.register_key(
self.append_statement_key,
Keymap.keydown_noarg(self._append_statement)
)
self.block.statements.obs_list.add_observer(self, '_statement_list_')
self._update_delete_registration()
self._update_fold_state()
def __init__(self, widget):
self.main_stack = StackWidget()
self.main_stack.push(widget)
from loop import loop
keys_reflection_widget = KeysReflectionWidget(loop.global_keymap,
style.key_name,
style.keydoc_name)
keys_reflection_widget.bg_color = (20,20,50)
self.info_list = List([keys_reflection_widget])
info_box = HBox(self.info_list)
info_box.selectable.set(False)
info_box.bg_color = (20,50,20)
VBox.__init__(self, List([
self.main_stack,
SpacerWidget((10, 0)),
info_box,
]), relay_focus=True)
register_key = self.keymap.register_key
register_key(self.offset_right_key, Keymap.keydown_noarg(self._offset_right))
register_key(self.offset_left_key, Keymap.keydown_noarg(self._offset_left))
register_key(self.offset_up_key, Keymap.keydown_noarg(self._offset_down))
register_key(self.offset_down_key, Keymap.keydown_noarg(self._offset_up))
def __init__(self, literal):
LiteralWidget.__init__(self, literal)
self.keymap.register_key(self.hex_mode_key, Keymap.keydown_noarg(self._set_hex_mode))
self.keymap.register_key(self.dec_mode_key, Keymap.keydown_noarg(self._set_dec_mode))
self.keymap.register_key(self.oct_mode_key, Keymap.keydown_noarg(self._set_oct_mode))
self.text_edit.editing_keymap.register_key(
self.negate_key,
Keymap.keydown_noarg(self._negate)
)
self._set_mode(self.literal.meta.get('mode', self._default_mode))
def _update_fold_state(self):
if self._is_folded():
for key in self.plus_keys:
self.keymap.register_key(key, Keymap.keydown_noarg(self._unfold))
for key in self.minus_keys:
self.keymap.unregister_key(key)
widget = self.ellipsis
else:
for key in self.minus_keys:
self.keymap.register_key(key, Keymap.keydown_noarg(self._fold))
for key in self.plus_keys:
self.keymap.unregister_key(key)
widget = self.statement_box
self.proxy_widget.value_proxy.set(widget)
def _update_delete_registration(self):
if self.block.statements:
self.statement_box.keymap.register_key(
self.kill_stmt_key,
Keymap.keydown_noarg(self._delete_selected_child)
)
else:
self.statement_box.keymap.unregister_key(
self.kill_stmt_key)
def _update_next_prev_keys(self):
for selectability, key, func in [
(self._right_selectable, self.right_key, self._right),
(self._left_selectable, self.left_key, self._left),
(self._up_selectable, self.up_key, self._up),
(self._down_selectable, self.down_key, self._down),
]:
if selectability():
self.parenting_keymap.register_key(key, Keymap.keydown_noarg(func))
else:
self.parenting_keymap.unregister_key(key)
def __init__(self, module_proxy):
self.module = module_proxy.get()
self.func_box = VBox(CacheMap(NormalWidgetMaker.make, self.module.declarations),
relay_focus=True)
VBox.__init__(self, List([
make_label(style.module_name, loop.namer.get_name(self.module)),
self.func_box,
]))
self.keymap.register_key(
self.add_func_key,
Keymap.keydown_noarg(self._add_func)
)
def __init__(self, node_proxy):
self.node_proxy = node_proxy
self.node = node_proxy.get()
cond_part = HBox(List([
make_label(style.while_, 'while'),
make_label(style.paren, '('),
NormalWidgetMaker.make(self.node.expr),
make_label(style.paren, ')'),
]), relay_focus=True)
cond_part.is_centered = True
VBox.__init__(self, List([
cond_part,
NormalWidgetMaker.make(self.node.block),
]))
self.focus_keymap.register_key(
self.convert_to_if_key,
Keymap.keydown_noarg(self._convert_to_if)
)
def _allow_leave_child(self):
self.parenting_keymap.register_key(
self.leave_child_key,
Keymap.keydown_noarg(self._leave_child)
)
def _allow_enter_child(self):
self.focus_keymap.register_key(
self.enter_child_key,
Keymap.keydown_noarg(self._enter_child)
)
def __init__(self):
self.global_keymap = Keymap.Keymap()
self.global_keymap.register_key(self.quit_key, Keymap.keydown_noarg(self._quit))
