From 4355b58276240aa9ab7a6cd45e344f348e7304ca Mon Sep 17 00:00:00 2001 From: gac-S_Changer Date: Thu, 23 Aug 2018 10:15:55 +0200 Subject: [PATCH] --- src/main/java/ch/psi/mxsc/BasePlatePanel.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/ch/psi/mxsc/BasePlatePanel.java b/src/main/java/ch/psi/mxsc/BasePlatePanel.java index 2a4fccd..eaa8e6c 100644 --- a/src/main/java/ch/psi/mxsc/BasePlatePanel.java +++ b/src/main/java/ch/psi/mxsc/BasePlatePanel.java @@ -160,7 +160,7 @@ public class BasePlatePanel extends DevicePanel { Dimension size = getSize(); if ((size.width > 40) && (size.height > 40)) { int border = 0; - int borderPuck = 0; + int borderPuck = 1; Rectangle plotRect = new Rectangle(border, border, size.width - 2 * border, size.height - 2 * border); Puck selectedPuck = getDevice().getSelectedPuck(); platePlotRect = null;