beremiz

changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).

2008-05-24, etisserant
b352a2012691
Parents 9abf2ac9cb8e
Children f3134b2c6d92
changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).
1 files changed, 1 insertions(+), 1 deletions(-)
  • +1 -1
    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)