equal
deleted
inserted
replaced
1236 instances = self.Controler.GetEditedElementInstancesInfos(self.TagName, debug=self.Debug) |
1236 instances = self.Controler.GetEditedElementInstancesInfos(self.TagName, debug=self.Debug) |
1237 # Load Blocks until they are all loaded |
1237 # Load Blocks until they are all loaded |
1238 while len(instances) > 0: |
1238 while len(instances) > 0: |
1239 self.loadInstance(instances.popitem(0)[1], instances, selection) |
1239 self.loadInstance(instances.popitem(0)[1], instances, selection) |
1240 |
1240 |
1241 if (selection is not None and |
1241 if selection is not None and isinstance(self.SelectedElement, Graphic_Group): |
1242 isinstance(self.SelectedElement, Graphic_Group)): |
|
1243 self.SelectedElement.RefreshWireExclusion() |
1242 self.SelectedElement.RefreshWireExclusion() |
1244 self.SelectedElement.RefreshBoundingBox() |
1243 self.SelectedElement.RefreshBoundingBox() |
1245 |
1244 |
1246 self.RefreshScrollBars() |
1245 self.RefreshScrollBars() |
1247 |
1246 |
1795 self.SelectedElement.DeleteSegment() |
1794 self.SelectedElement.DeleteSegment() |
1796 self.SelectedElement.Refresh() |
1795 self.SelectedElement.Refresh() |
1797 |
1796 |
1798 def OnReplaceWireMenu(self, event): |
1797 def OnReplaceWireMenu(self, event): |
1799 # Check that selected element is a wire before applying replace |
1798 # Check that selected element is a wire before applying replace |
1800 if (self.SelectedElement is not None and |
1799 if self.SelectedElement is not None and self.IsWire(self.SelectedElement): |
1801 self.IsWire(self.SelectedElement)): |
|
1802 |
|
1803 # Get wire redraw bbox to erase it from screen |
1800 # Get wire redraw bbox to erase it from screen |
1804 wire = self.SelectedElement |
1801 wire = self.SelectedElement |
1805 redraw_rect = wire.GetRedrawRect() |
1802 redraw_rect = wire.GetRedrawRect() |
1806 |
1803 |
1807 # Get connector at both ends of wire |
1804 # Get connector at both ends of wire |
2315 else: |
2312 else: |
2316 self.Scroll(scrollx, scrolly) |
2313 self.Scroll(scrollx, scrolly) |
2317 self.RefreshScrollBars() |
2314 self.RefreshScrollBars() |
2318 self.RefreshVisibleElements() |
2315 self.RefreshVisibleElements() |
2319 else: |
2316 else: |
2320 if (not event.Dragging() and |
2317 if not event.Dragging() and (gettime() - self.LastHighlightCheckTime) > REFRESH_PERIOD: |
2321 gettime() - self.LastHighlightCheckTime > REFRESH_PERIOD): |
|
2322 self.LastHighlightCheckTime = gettime() |
2318 self.LastHighlightCheckTime = gettime() |
2323 highlighted = self.FindElement(event, connectors=False) |
2319 highlighted = self.FindElement(event, connectors=False) |
2324 if self.HighlightedElement is not None and self.HighlightedElement != highlighted: |
2320 if self.HighlightedElement is not None and self.HighlightedElement != highlighted: |
2325 self.HighlightedElement.SetHighlighted(False) |
2321 self.HighlightedElement.SetHighlighted(False) |
2326 self.HighlightedElement = None |
2322 self.HighlightedElement = None |