gripy_debug_console.py 文件源码

def onOutputKeyDown(self, evt):
        key = evt.GetKeyCode()
        # #3763: WX 3 no longer passes escape to evt_char for richEdit fields, therefore evt_key_down is used.
        if key == wx.WXK_ESCAPE:
            self.Close()
            return
        evt.Skip()