From 9a08bdb3382a8afe78a29ce5051fad11c607ac20 Mon Sep 17 00:00:00 2001
From: Emily Soth <esoth@stanford.edu>
Date: Fri, 28 Jul 2023 11:33:26 -0700
Subject: [PATCH] quit instead of exit app on relaunch #1168

---
 workbench/src/main/setupChangeLanguage.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/workbench/src/main/setupChangeLanguage.js b/workbench/src/main/setupChangeLanguage.js
index 678cf8137b..f4a2672a0c 100644
--- a/workbench/src/main/setupChangeLanguage.js
+++ b/workbench/src/main/setupChangeLanguage.js
@@ -19,7 +19,7 @@ export default function setupChangeLanguage() {
       logger.debug('changing language to', languageCode);
       store.set('language', languageCode);
       app.relaunch();
-      app.exit();
+      app.quit();
     }
   );
 }