--- 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):