def _make(cls, type_proxy, variable_proxy, type_, variable): basetype_widget = IdentifierWidget(ccode.find_basetype(type_proxy), style.base_type) type_widget = HBox(List([ basetype_widget, make_label(style.space, ' '), PostTypeWidgetMaker.make(type_proxy, variable_proxy), ])) type_widget.is_centered = True return type_widget
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 indented(widget): from gui.SpacerWidget import SpacerWidget box = HBox(List([SpacerWidget((style.indent_width, 0)), widget]), relay_focus=True) box.is_centered = True box.frame_color = None return box