--- a/dialogs/IDManager.py Wed Nov 21 14:10:51 2018 +0100
+++ b/dialogs/IDManager.py Thu Nov 22 23:39:54 2018 +0100
@@ -11,8 +11,17 @@
wx.Dialog.__init__(self,
name='IDManager', parent=parent,
title=_('URI Editor'),
- style=wx.DEFAULT_DIALOG_STYLE | wx.RESIZE_BORDER)
+ style=wx.DEFAULT_DIALOG_STYLE | wx.RESIZE_BORDER,
+ size=(800,600))
# start IDBrowser in manager mode
self.browser = IDBrowser(self, ctr)
+ self.Bind(wx.EVT_CHAR_HOOK, self.OnEscapeKey)
+
+ def OnEscapeKey(self, event):
+ keycode = event.GetKeyCode()
+ if keycode == wx.WXK_ESCAPE:
+ self.EndModal(wx.ID_CANCEL)
+ else:
+ event.Skip()