diff --git a/src/js/commandline.js b/src/js/commandline.js
index e4479051e..de362fa5e 100644
--- a/src/js/commandline.js
+++ b/src/js/commandline.js
@@ -1379,6 +1379,7 @@ let commandsMode = {
       display: "zen",
       exec: () => {
         setMode("zen");
+        manualRestart = true;
         restartTest();
       },
     },