Backport PR #7071: Correct quit_button test

jupyterlab · Aug 22, 2019 · fa8caac · fa8caac
1 parent 7c5fa3e
commit fa8caac
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/mainmenu-extension/src/index.ts b/packages/mainmenu-extension/src/index.ts
@@ -134,8 +134,8 @@ const plugin: JupyterFrontEndPlugin<IMainMenu> = {
     logo.id = 'jp-MainLogo';
 
     // Only add quit button if the back-end supports it by checking page config.
-    let quitButton = PageConfig.getOption('quitButton');
-    menu.fileMenu.quitEntry = quitButton === 'True';
+    const quitButton = PageConfig.getOption('quitButton').toLowerCase();
+    menu.fileMenu.quitEntry = quitButton === 'true';
 
     // Create the application menus.
     createEditMenu(app, menu.editMenu);