Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Prevent quit on immediate frontend in intercept mode
Otherwise we quit before the immediate frontend had a chance to start. The immediate frontend will then automatically and unconditionally quit once it's finished. One thing that we can still improve is to hide the GUI in intercept mode once an event was intercepted.
- Loading branch information