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))
