504 def RefreshMainMenu(self): |
504 def RefreshMainMenu(self): |
505 if self.PluginRoot is not None: |
505 if self.PluginRoot is not None: |
506 ## self.MenuBar.EnableTop(1, True) |
506 ## self.MenuBar.EnableTop(1, True) |
507 ## self.MenuBar.EnableTop(2, True) |
507 ## self.MenuBar.EnableTop(2, True) |
508 self.FileMenu.Enable(wx.ID_SAVE, True) |
508 self.FileMenu.Enable(wx.ID_SAVE, True) |
509 self.FileMenu.Enable(wx.ID_CLOSE, True) |
509 self.FileMenu.Enable(wx.ID_CLOSE_ALL, True) |
510 self.FileMenu.Enable(wx.ID_PROPERTIES, True) |
510 self.FileMenu.Enable(wx.ID_PROPERTIES, True) |
511 else: |
511 else: |
512 ## self.MenuBar.EnableTop(1, False) |
512 ## self.MenuBar.EnableTop(1, False) |
513 ## self.MenuBar.EnableTop(2, False) |
513 ## self.MenuBar.EnableTop(2, False) |
514 self.FileMenu.Enable(wx.ID_SAVE, False) |
514 self.FileMenu.Enable(wx.ID_SAVE, False) |
515 self.FileMenu.Enable(wx.ID_CLOSE, False) |
515 self.FileMenu.Enable(wx.ID_CLOSE_ALL, False) |
516 self.FileMenu.Enable(wx.ID_PROPERTIES, False) |
516 self.FileMenu.Enable(wx.ID_PROPERTIES, False) |
517 |
517 |
518 def RefreshScrollBars(self): |
518 def RefreshScrollBars(self): |
519 xstart, ystart = self.PLCConfig.GetViewStart() |
519 xstart, ystart = self.PLCConfig.GetViewStart() |
520 window_size = self.PLCConfig.GetClientSize() |
520 window_size = self.PLCConfig.GetClientSize() |