From 4f13f5177d03c05b463fb35db53bc04ad6203703 Mon Sep 17 00:00:00 2001
From: "J. Neugebauer" <ngb@helmholtz-bi.de>
Date: Mon, 28 Nov 2022 09:10:42 +0100
Subject: [PATCH] Mausposition merken wenn pausiert

---
 src/main/java/schule/ngb/zm/Zeichenmaschine.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/main/java/schule/ngb/zm/Zeichenmaschine.java b/src/main/java/schule/ngb/zm/Zeichenmaschine.java
index 3f2ce27..e372e60 100644
--- a/src/main/java/schule/ngb/zm/Zeichenmaschine.java
+++ b/src/main/java/schule/ngb/zm/Zeichenmaschine.java
@@ -1100,6 +1100,9 @@ public class Zeichenmaschine extends Constants {
 		}
 
 		if( isPaused() || isTerminated() ) {
+			if( MouseEvent.class.isInstance(evt) ) {
+				saveMousePosition((MouseEvent)evt);
+			}
 			dispatchEvents();
 		}
 	}