Mausposition merken wenn pausiert

This commit is contained in:
ngb
2022-11-28 09:10:42 +01:00
parent 6321a7d421
commit 4f13f5177d

View File

@@ -1100,6 +1100,9 @@ public class Zeichenmaschine extends Constants {
} }
if( isPaused() || isTerminated() ) { if( isPaused() || isTerminated() ) {
if( MouseEvent.class.isInstance(evt) ) {
saveMousePosition((MouseEvent)evt);
}
dispatchEvents(); dispatchEvents();
} }
} }