From f2bdf00aba2ecd1454cf462dbec0527cd1707061 Mon Sep 17 00:00:00 2001 From: Andrew Cooper Date: Wed, 22 Dec 2021 00:26:01 +0000 Subject: [PATCH] Closing the final script in your editor will take you to the terminal. --- src/ScriptEditor/ui/ScriptEditorRoot.tsx | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ScriptEditor/ui/ScriptEditorRoot.tsx b/src/ScriptEditor/ui/ScriptEditorRoot.tsx index 0c51f506a..1d4653dd4 100644 --- a/src/ScriptEditor/ui/ScriptEditorRoot.tsx +++ b/src/ScriptEditor/ui/ScriptEditorRoot.tsx @@ -668,6 +668,7 @@ export function Root(props: IProps): React.ReactElement { // No more scripts are open setOpenScripts([]); setCurrentScript(null); + props.router.toTerminal(); } }