Beremiz.py
changeset 200 009fc5850157
parent 199 aa5f43bafad4
child 201 520d2416ff4d
equal deleted inserted replaced
199:aa5f43bafad4 200:009fc5850157
   305         self.SetMenuBar(self.MenuBar)
   305         self.SetMenuBar(self.MenuBar)
   306         self.Bind(wx.EVT_ACTIVATE, self.OnFrameActivated)
   306         self.Bind(wx.EVT_ACTIVATE, self.OnFrameActivated)
   307         self.Bind(wx.EVT_CLOSE, self.OnCloseFrame)
   307         self.Bind(wx.EVT_CLOSE, self.OnCloseFrame)
   308 
   308 
   309         self.Bind(wx.EVT_MENU, self.OnOpenWidgetInspector, id=ID_BEREMIZINSPECTOR)
   309         self.Bind(wx.EVT_MENU, self.OnOpenWidgetInspector, id=ID_BEREMIZINSPECTOR)
   310         accel = wx.AcceleratorTable([wx.AcceleratorEntry(wx.ACCEL_SHIFT, wx.WXK_HOME, ID_BEREMIZINSPECTOR)])
   310         accel = wx.AcceleratorTable([wx.AcceleratorEntry(wx.ACCEL_CTRL|wx.ACCEL_ALT, ord('I'), ID_BEREMIZINSPECTOR)])
   311         self.SetAcceleratorTable(accel)
   311         self.SetAcceleratorTable(accel)
   312         
   312         
   313         if wx.VERSION < (2, 8, 0):
   313         if wx.VERSION < (2, 8, 0):
   314             self.MainSplitter = wx.SplitterWindow(id=ID_BEREMIZMAINSPLITTER,
   314             self.MainSplitter = wx.SplitterWindow(id=ID_BEREMIZMAINSPLITTER,
   315                   name='MainSplitter', parent=self, point=wx.Point(0, 0),
   315                   name='MainSplitter', parent=self, point=wx.Point(0, 0),