changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).
authoretisserant
Sat, 24 May 2008 15:51:11 +0200
changeset 153 b352a2012691
parent 152 9abf2ac9cb8e
child 154 f3134b2c6d92
changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).
Beremiz.py
--- a/Beremiz.py	Sat May 24 11:51:33 2008 +0200
+++ b/Beremiz.py	Sat May 24 15:51:11 2008 +0200
@@ -307,7 +307,7 @@
         self.Bind(wx.EVT_CLOSE, self.OnCloseFrame)
 
         self.Bind(wx.EVT_MENU, self.OnOpenWidgetInspector, id=ID_BEREMIZINSPECTOR)
-        accel = wx.AcceleratorTable([wx.AcceleratorEntry(wx.ACCEL_CTRL, wx.WXK_F12, ID_BEREMIZINSPECTOR)])
+        accel = wx.AcceleratorTable([wx.AcceleratorEntry(wx.ACCEL_SHIFT, wx.WXK_HOME, ID_BEREMIZINSPECTOR)])
         self.SetAcceleratorTable(accel)