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
