From 963ce2b1ef3739bf6dd61ecf2d9518a6f2677a41 Mon Sep 17 00:00:00 2001 From: Amy Wilder Date: Sun, 15 Feb 2026 15:10:14 -0500 Subject: [PATCH] Exclude self from editor name check --- src/jls/edit/Editor.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jls/edit/Editor.java b/src/jls/edit/Editor.java index 127b295..2c97c0e 100755 --- a/src/jls/edit/Editor.java +++ b/src/jls/edit/Editor.java @@ -160,6 +160,8 @@ public String getDescription() { Editor otherEditor = (Editor)edit; if (otherEditor.getCircuit().isImported()) continue; + if (edit == this) + continue; if (name.equals(otherEditor.getCircuit().getName())) { JOptionPane.showMessageDialog(JLSInfo.frame, "Circuit with this name already being edited");