# HG changeset patch
# User etisserant
# Date 1211637071 -7200
# Node ID b352a2012691bcca06b22f5854f2b9e00b3369a0
# Parent  9abf2ac9cb8e06977800ced0feaf7d19c3dfdddb
changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).

diff -r 9abf2ac9cb8e -r b352a2012691 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)