Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix #731: "externalTerminal" does not work on Linux
Do not wait for "runInTerminal" response when spawning the launcher.
- Loading branch information