From aabad5bb21c7da5cd1e98207ac195091d40f0979 Mon Sep 17 00:00:00 2001
From: Emily Soth <esoth@stanford.edu>
Date: Thu, 20 Jul 2023 15:17:48 -0700
Subject: [PATCH] relaunch app on change of language setting #1168

---
 workbench/src/main/setupChangeLanguage.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/workbench/src/main/setupChangeLanguage.js b/workbench/src/main/setupChangeLanguage.js
index 233932a940..678cf8137b 100644
--- a/workbench/src/main/setupChangeLanguage.js
+++ b/workbench/src/main/setupChangeLanguage.js
@@ -1,5 +1,5 @@
 import Store from 'electron-store';
-import { ipcMain } from 'electron';
+import { app, ipcMain } from 'electron';
 import { getLogger } from './logger';
 import { ipcMainChannels } from './ipcMainChannels';
 
@@ -18,6 +18,8 @@ export default function setupChangeLanguage() {
     (e, languageCode) => {
       logger.debug('changing language to', languageCode);
       store.set('language', languageCode);
+      app.relaunch();
+      app.exit();
     }
   );
 }