@jupyterlab/mainmenu-extension
Advanced tools
@@ -68,4 +68,4 @@ // Copyright (c) Jupyter Development Team. | ||
// 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. | ||
@@ -72,0 +72,0 @@ createEditMenu(app, menu.editMenu); |
{ | ||
"name": "@jupyterlab/mainmenu-extension", | ||
"version": "1.0.5", | ||
"version": "1.0.6", | ||
"description": "JupyterLab - Main Menu Extension", | ||
@@ -60,3 +60,3 @@ "homepage": "https://github.com/jupyterlab/jupyterlab", | ||
}, | ||
"gitHead": "dab1810ec8a9c44452cbc57ce8194bc7b1726720" | ||
"gitHead": "c37890df793dbe40a93509ec88286cb9efcf7836" | ||
} |
Sorry, the diff of this file is not supported yet
57597
0.05%1
-50%