mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-26 14:31:02 -04:00
copying of selected elements
This commit is contained in:
parent
2b93fc06d5
commit
0cafa12ae7
@ -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();
|
||||
}
|
||||
}
|
||||
};
|
||||
|
Loading…
x
Reference in New Issue
Block a user