391 self.EditMenuSize = self.EditMenu.GetMenuItemCount() |
391 self.EditMenuSize = self.EditMenu.GetMenuItemCount() |
392 |
392 |
393 inspectorID = wx.NewId() |
393 inspectorID = wx.NewId() |
394 self.Bind(wx.EVT_MENU, self.OnOpenWidgetInspector, id=inspectorID) |
394 self.Bind(wx.EVT_MENU, self.OnOpenWidgetInspector, id=inspectorID) |
395 accels = [wx.AcceleratorEntry(wx.ACCEL_CTRL|wx.ACCEL_ALT, ord('I'), inspectorID)] |
395 accels = [wx.AcceleratorEntry(wx.ACCEL_CTRL|wx.ACCEL_ALT, ord('I'), inspectorID)] |
|
396 |
|
397 keyID = wx.NewId() |
|
398 self.Bind(wx.EVT_MENU, self.SwitchFullScrMode, id=keyID) |
|
399 accels += [wx.AcceleratorEntry(wx.ACCEL_NORMAL, wx.WXK_F12, keyID)] |
|
400 |
396 for method,shortcut in [("Stop", wx.WXK_F4), |
401 for method,shortcut in [("Stop", wx.WXK_F4), |
397 ("Run", wx.WXK_F5), |
402 ("Run", wx.WXK_F5), |
398 ("Transfer", wx.WXK_F6), |
403 ("Transfer", wx.WXK_F6), |
399 ("Connect", wx.WXK_F7), |
404 ("Connect", wx.WXK_F7), |
400 ("Build", wx.WXK_F11)]: |
405 ("Build", wx.WXK_F11)]: |