changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).
--- 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)