# HG changeset patch
# User greg
# Date 1241423726 -7200
# Node ID 160ff73c0ac7ba3a25947b1c7c591b60dac3dcc6
# Parent  f7958989e055360004ac661dd7d21a1be035830d
Adding support for Enable/Disable Undo/Redo

diff -r f7958989e055 -r 160ff73c0ac7 PLCControler.py
--- a/PLCControler.py	Mon May 04 09:35:47 2009 +0200
+++ b/PLCControler.py	Mon May 04 09:55:26 2009 +0200
@@ -2679,7 +2679,7 @@
                 xmlfile = open(self.FilePath,"w")
             xmlfile.write(text)
             xmlfile.close()
-            self.ProjectSaved()
+            self.MarkProjectAsSaved()
             if filepath:
                 self.SetFilePath(filepath)
             return True
@@ -2731,7 +2731,7 @@
             self.Project = self.Copy(self.Project)
             self.Buffering = False
 
-    def ProjectSaved(self):
+    def MarkProjectAsSaved(self):
         if self.ProjectBuffer is not None:
             self.ProjectBuffer.CurrentSaved()
         else: