From 0accefa14b2f0d335405754f4935a587b80d96fd Mon Sep 17 00:00:00 2001 From: hneemann Date: Thu, 2 Jun 2016 22:45:12 +0200 Subject: [PATCH] removed unused field --- .../de/neemann/digital/gui/components/CircuitComponent.java | 6 ------ 1 file changed, 6 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 dd0aff5f8..15de7e134 100644 --- a/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java +++ b/src/main/java/de/neemann/digital/gui/components/CircuitComponent.java @@ -647,7 +647,6 @@ public class CircuitComponent extends JComponent { private static final int MIN_SIZE = 8; private Vector corner1; private Vector corner2; - private int downButton; private boolean wasReleased; private MouseControllerSelect(Cursor cursor) { @@ -668,11 +667,6 @@ public class CircuitComponent extends JComponent { removeHighLighted(); } - @Override - void pressed(MouseEvent e) { - downButton = e.getButton(); - } - @Override void released(MouseEvent e) { wasReleased = true;