Pointer display

src/main/java/ch/psi/mxsc/Puck.java

@@ -454,6 +454,26 @@ public class Puck extends DeviceBase {
         }
     }
 
+    private boolean pointed;
+
+    public boolean isPointed() {
+        return pointed;
+    }
+
+    public void setPointed(boolean value) {
+        if (value != pointed) {
+            if (value == true) {
+                for (Device d : getParent().getChildren()) {
+                    if (d instanceof Puck puck) {
+                        puck.pointed = false;
+                    }
+                }
+            }
+            pointed = value;
+        }
+    }
+    
+    
     public int getNumberOfSamples() {
         return numberOfSamples;
     }