Merge pull request #2100 from mikomyazaki/empty-editor-to-terminal

Closing the final script in your editor will take you to the terminal
This commit is contained in:
hydroflame 2021-12-22 12:17:32 -05:00 committed by GitHub
commit 7260d5fe35
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -668,6 +668,7 @@ export function Root(props: IProps): React.ReactElement {
// No more scripts are open // No more scripts are open
setOpenScripts([]); setOpenScripts([]);
setCurrentScript(null); setCurrentScript(null);
props.router.toTerminal();
} }
} }