equal
deleted
inserted
replaced
9 def __init__(self, parent, ctr): |
9 def __init__(self, parent, ctr): |
10 self.ctr = ctr |
10 self.ctr = ctr |
11 wx.Dialog.__init__(self, |
11 wx.Dialog.__init__(self, |
12 name='IDManager', parent=parent, |
12 name='IDManager', parent=parent, |
13 title=_('URI Editor'), |
13 title=_('URI Editor'), |
14 style=wx.DEFAULT_DIALOG_STYLE | wx.RESIZE_BORDER) |
14 style=wx.DEFAULT_DIALOG_STYLE | wx.RESIZE_BORDER, |
|
15 size=(800,600)) |
15 # start IDBrowser in manager mode |
16 # start IDBrowser in manager mode |
16 self.browser = IDBrowser(self, ctr) |
17 self.browser = IDBrowser(self, ctr) |
|
18 self.Bind(wx.EVT_CHAR_HOOK, self.OnEscapeKey) |
|
19 |
|
20 def OnEscapeKey(self, event): |
|
21 keycode = event.GetKeyCode() |
|
22 if keycode == wx.WXK_ESCAPE: |
|
23 self.EndModal(wx.ID_CANCEL) |
|
24 else: |
|
25 event.Skip() |
17 |
26 |
18 |
27 |