Userinput wird nach Stopp der ZM weiterverarbeitet

This commit is contained in:
ngb
2022-07-19 08:56:00 +02:00
parent cbda5c3077
commit 538a8215e6

View File

@@ -583,6 +583,10 @@ public class Zeichenmaschine extends Constants {
return state == Options.AppState.PAUSED; return state == Options.AppState.PAUSED;
} }
public final boolean isStopped() {
return state == Options.AppState.STOPPED || state == Options.AppState.TERMINATED;
}
/** /**
* Stoppt die Zeichenmaschine. * Stoppt die Zeichenmaschine.
* <p> * <p>
@@ -1181,7 +1185,7 @@ public class Zeichenmaschine extends Constants {
private void enqueueEvent( InputEvent evt ) { private void enqueueEvent( InputEvent evt ) {
eventQueue.add(evt); eventQueue.add(evt);
if( isPaused() ) { if( isPaused() || isStopped()) {
dispatchEvents(); dispatchEvents();
} }
} }