equal
deleted
inserted
replaced
378 rect.height = self.BoundingBox.height + 2 * (HANDLE_SIZE + abs(movey)) + 4 |
378 rect.height = self.BoundingBox.height + 2 * (HANDLE_SIZE + abs(movey)) + 4 |
379 return rect |
379 return rect |
380 |
380 |
381 def Refresh(self, rect = None): |
381 def Refresh(self, rect = None): |
382 if rect is not None: |
382 if rect is not None: |
383 self.Parent.RefreshRect(self.Parent.GetScrolledRect(rect)) |
383 self.Parent.RefreshRect(self.Parent.GetScrolledRect(rect), False) |
384 else: |
384 else: |
385 self.Parent.RefreshRect(self.Parent.GetScrolledRect(self.GetRedrawRect())) |
385 self.Parent.RefreshRect(self.Parent.GetScrolledRect(self.GetRedrawRect()), False) |
386 |
386 |
387 # Change the variable that indicates if this element is selected |
387 # Change the variable that indicates if this element is selected |
388 def SetSelected(self, selected): |
388 def SetSelected(self, selected): |
389 self.Selected = selected |
389 self.Selected = selected |
390 self.Refresh() |
390 self.Refresh() |
1874 rect = self.GetRedrawRect() |
1874 rect = self.GetRedrawRect() |
1875 self.ResetPoints() |
1875 self.ResetPoints() |
1876 self.GeneratePoints() |
1876 self.GeneratePoints() |
1877 self.RefreshModel() |
1877 self.RefreshModel() |
1878 self.Parent.RefreshBuffer() |
1878 self.Parent.RefreshBuffer() |
1879 self.Parent.RefreshRect(self.Parent.GetScrolledRect(rect)) |
1879 self.Parent.RefreshRect(self.Parent.GetScrolledRect(rect), False) |
1880 |
1880 |
1881 # Method called when a Motion event has been generated |
1881 # Method called when a Motion event has been generated |
1882 def OnMotion(self, event, dc, scaling): |
1882 def OnMotion(self, event, dc, scaling): |
1883 pos = GetScaledEventPosition(event, dc, scaling) |
1883 pos = GetScaledEventPosition(event, dc, scaling) |
1884 if not event.Dragging(): |
1884 if not event.Dragging(): |