def view_grideditor(self, ge): signals.push_view_state.send(self, window=window.Window( self, ge, None, statusbar.StatusBar( self, grideditor.base.FOOTER), ge.make_help()))
def view_flow(self, flow, tab_offset=0): self.state.set_focus_flow(flow) signals.push_view_state.send( self, window=window.Window( self, flowview.FlowView(self, self.state, flow, tab_offset), flowview.FlowViewHeader(self, flow), statusbar.StatusBar(self, flowview.footer), flowview.help_context))
def view_palette_picker(self): signals.push_view_state.send(self, window=window.Window( self, palettepicker.PalettePicker(self), None, statusbar.StatusBar( self, palettepicker.footer), palettepicker.help_context, ))
def view_help(self, helpctx): signals.push_view_state.send( self, window = window.Window( self, help.HelpView(helpctx), None, statusbar.StatusBar(self, help.footer), None ) )
def view_options(self): for i in self.view_stack: if isinstance(i["body"], options.Options): return signals.push_view_state.send(self, window=window.Window( self, options.Options(self), None, statusbar.StatusBar( self, options.footer), options.help_context, ))
def view_flowlist(self): if self.ui.started: self.ui.clear() if self.state.follow_focus: self.state.set_focus(self.state.flow_count()) if self.options.eventlog: body = flowlist.BodyPile(self) else: body = flowlist.FlowListBox(self) if self.follow: self.toggle_follow_flows() signals.push_view_state.send( self, window=window.Window(self, body, None, statusbar.StatusBar(self, flowlist.footer), flowlist.help_context))