From 0cafa12ae74a512a3847f57a8aff857befe8cb5a Mon Sep 17 00:00:00 2001 From: hneemann Date: Fri, 28 Apr 2017 17:00:13 +0200 Subject: [PATCH] copying of selected elements --- .../de/neemann/digital/gui/components/CircuitComponent.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java b/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java index 047979957..53896e2ee 100644 --- a/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java +++ b/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java @@ -124,8 +124,7 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe if (elements != null) { Clipboard clipboard = Toolkit.getDefaultToolkit().getSystemClipboard(); clipboard.setContents(new CircuitTransferable(elements), null); - removeHighLighted(); - mouseNormal.activate(); + activeMouseController.escapePressed(); } } };