graphics/GraphicCommons.py
changeset 155 b695f7459ef6
parent 145 4fb225afddf4
child 162 e746ff4aa8be
--- a/graphics/GraphicCommons.py	Wed Jan 23 18:26:49 2008 +0100
+++ b/graphics/GraphicCommons.py	Fri Jan 25 17:30:49 2008 +0100
@@ -380,9 +380,9 @@
     
     def Refresh(self, rect = None):
         if rect is not None:
-            self.Parent.RefreshRect(self.Parent.GetScrolledRect(rect))
-        else:
-            self.Parent.RefreshRect(self.Parent.GetScrolledRect(self.GetRedrawRect()))
+            self.Parent.RefreshRect(self.Parent.GetScrolledRect(rect), False)
+        else:
+            self.Parent.RefreshRect(self.Parent.GetScrolledRect(self.GetRedrawRect()), False)
     
     # Change the variable that indicates if this element is selected
     def SetSelected(self, selected):
@@ -1876,7 +1876,7 @@
             self.GeneratePoints()
             self.RefreshModel()
             self.Parent.RefreshBuffer()
-            self.Parent.RefreshRect(self.Parent.GetScrolledRect(rect))
+            self.Parent.RefreshRect(self.Parent.GetScrolledRect(rect), False)
         
     # Method called when a Motion event has been generated
     def OnMotion(self, event, dc, scaling):