equal
deleted
inserted
replaced
1939 self.SelectedElement.HighlightPoint(pos) |
1939 self.SelectedElement.HighlightPoint(pos) |
1940 else: |
1940 else: |
1941 movex, movey = self.SelectedElement.OnMotion(event, dc, self.Scaling) |
1941 movex, movey = self.SelectedElement.OnMotion(event, dc, self.Scaling) |
1942 if movex != 0 or movey != 0: |
1942 if movex != 0 or movey != 0: |
1943 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False) |
1943 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False) |
|
1944 self.RefreshVisibleElements() |
1944 elif self.Debug and self.StartMousePos is not None and event.Dragging(): |
1945 elif self.Debug and self.StartMousePos is not None and event.Dragging(): |
1945 pos = event.GetPosition() |
1946 pos = event.GetPosition() |
1946 if abs(self.StartMousePos.x - pos.x) > 5 or abs(self.StartMousePos.y - pos.y) > 5: |
1947 if abs(self.StartMousePos.x - pos.x) > 5 or abs(self.StartMousePos.y - pos.y) > 5: |
1947 iec_path = self.GetElementIECPath(self.SelectedElement) |
1948 iec_path = self.GetElementIECPath(self.SelectedElement) |
1948 if iec_path is not None: |
1949 if iec_path is not None: |