better dragging detection on high dpi screens

This commit is contained in:
hneemann 2017-05-26 08:05:17 +02:00
parent 30c3d44ab4
commit 41f7075219

View File

@ -19,10 +19,7 @@ import de.neemann.digital.gui.Main;
import de.neemann.digital.gui.sync.NoSync;
import de.neemann.digital.gui.sync.Sync;
import de.neemann.digital.lang.Lang;
import de.neemann.gui.ErrorMessage;
import de.neemann.gui.IconCreator;
import de.neemann.gui.LineBreaker;
import de.neemann.gui.ToolTipAction;
import de.neemann.gui.*;
import javax.swing.*;
import java.awt.*;
@ -58,6 +55,8 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
private static final int MOUSE_BORDER_SMALL = 10;
private static final int MOUSE_BORDER_LARGE = 50;
private static final int DRAG_DISTANCE = (int) (SIZE2 * Screen.getInstance().getScaling());
private final Main parent;
private final ElementLibrary library;
private final HashSet<Drawable> highLighted;
@ -700,7 +699,7 @@ public class CircuitComponent extends JComponent implements Circuit.ChangedListe
private boolean wasMoved(MouseEvent e) {
Vector d = new Vector(e.getX(), e.getY()).sub(pos);
return Math.abs(d.x) > SIZE2 || Math.abs(d.y) > SIZE2;
return Math.abs(d.x) > DRAG_DISTANCE || Math.abs(d.y) > DRAG_DISTANCE;
}
@Override