editors/Viewer.py
changeset 1069 880ec628d490
parent 1057 3837e165b3f9
child 1089 5cd1f8df71aa
equal deleted inserted replaced
1068:ef088254ba4b 1069:880ec628d490
  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: