def _on_key_down(self, event, skip=True): # Intercept Ctrl-D to quit if event.KeyCode == ord('D') and event.ControlDown() and \ self.input_buffer == '' and \ self._input_state == 'readline': wx.CallAfter(self.ask_exit) else: WxController._on_key_down(self, event, skip=skip)
def do_exit(self): """ Exits the interpreter, kills the windows. """ WxController.do_exit(self) self.release_output() wx.CallAfter(wx.Exit)
def __init__(self, *args, **kwargs): WxController.__init__(self, *args, **kwargs) self.ipython0.ask_exit = self.do_exit # Scroll to top maxrange = self.GetScrollRange(wx.VERTICAL) self.ScrollLines(-maxrange)