diff -r 203c4acdaf27 -r b695f7459ef6 graphics/GraphicCommons.py --- 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):