TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-12 22:36:02 -04:00
Code Issues Packages Projects Releases Wiki Activity

fixes #379

Browse Source
This commit is contained in:
hneemann 2019-11-14 19:24:22 +01:00
parent 4c1a92b640
commit 91764331f0
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/main/java/de/neemann/digital/gui/components/CircuitComponent.java
View File

@ -1168,7 +1168,10 @@ public class CircuitComponent extends JComponent implements ChangedListener, Lib
private Modification<Circuit> checkNetRename(VisualElement element, ElementAttributes modified, Modification<Circuit> mod) { private Modification<Circuit> checkNetRename(VisualElement element, ElementAttributes modified, Modification<Circuit> mod) {
String oldName = element.getElementAttributes().get(Keys.NETNAME); String oldName = element.getElementAttributes().get(Keys.NETNAME);
if (element.equalsDescription(Tunnel.DESCRIPTION) && modified.contains(Keys.NETNAME) && !oldName.isEmpty()) { if (element.equalsDescription(Tunnel.DESCRIPTION)
&& modified.contains(Keys.NETNAME)
&& !modified.get(Keys.NETNAME).equals(oldName)
&& !oldName.isEmpty()) {
List<VisualElement> others = getCircuit().getElements(el -> el != element List<VisualElement> others = getCircuit().getElements(el -> el != element
&& el.equalsDescription(Tunnel.DESCRIPTION) && el.equalsDescription(Tunnel.DESCRIPTION)