365 self.Bind(wx.EVT_MENU, self.OnSelectAllMenu, id=wx.ID_SELECTALL) |
365 self.Bind(wx.EVT_MENU, self.OnSelectAllMenu, id=wx.ID_SELECTALL) |
366 self.Bind(wx.EVT_MENU, self.OnDeleteMenu, id=wx.ID_DELETE) |
366 self.Bind(wx.EVT_MENU, self.OnDeleteMenu, id=wx.ID_DELETE) |
367 |
367 |
368 def _init_coll_DisplayMenu_Items(self, parent): |
368 def _init_coll_DisplayMenu_Items(self, parent): |
369 AppendMenu(parent, help='', id=wx.ID_REFRESH, |
369 AppendMenu(parent, help='', id=wx.ID_REFRESH, |
370 kind=wx.ITEM_NORMAL, text=_(u'Refresh\tF5')) |
370 kind=wx.ITEM_NORMAL, text=_(u'Refresh\tCTRL+R')) |
371 if self.EnableDebug: |
371 if self.EnableDebug: |
372 AppendMenu(parent, help='', id=wx.ID_CLEAR, |
372 AppendMenu(parent, help='', id=wx.ID_CLEAR, |
373 kind=wx.ITEM_NORMAL, text=_(u'Clear Errors\tCTRL+K')) |
373 kind=wx.ITEM_NORMAL, text=_(u'Clear Errors\tCTRL+K')) |
374 parent.AppendSeparator() |
374 parent.AppendSeparator() |
375 zoommenu = wx.Menu(title='') |
375 zoommenu = wx.Menu(title='') |