plugger.py
changeset 215 0a98f2308107
parent 209 08dc3d064cb5
child 217 f3eb35df4d87
--- a/plugger.py	Fri Aug 22 13:36:16 2008 +0200
+++ b/plugger.py	Fri Aug 22 13:36:54 2008 +0200
@@ -1223,7 +1223,7 @@
     
     def ShowError(self, logger, from_location, to_location):
         chunk_infos = self.GetChunkInfos(from_location, to_location)
-        self._EditPLC(logger)
+        self._EditPLC()
         for infos, (start_row, start_col) in chunk_infos:
             start = (from_location[0] - start_row, from_location[1] - start_col)
             end = (to_location[0] - start_row, to_location[1] - start_col)
@@ -1262,10 +1262,6 @@
             def _onsave():
                 self.SaveProject()
             self.PLCEditor = PLCOpenEditor(self.AppFrame, self)
-            self.PLCEditor.RefreshProjectTree()
-            self.PLCEditor.RefreshFileMenu()
-            self.PLCEditor.RefreshEditMenu()
-            self.PLCEditor.RefreshToolBar()
             self.PLCEditor._onclose = _onclose
             self.PLCEditor._onsave = _onsave
             self.PLCEditor.Show()