Jun 22, 2023 · Jun 20, 2023 · Jun 20, 2023 · Jun 20, 2023 · Jun 20, 2023 · Jun 20, 2023
diff --git a/packages/application-extension/schema/menus.json b/packages/application-extension/schema/menus.json
            "rank": 20
          },
          {
            "command": "application:close",
            "disabled":true
            "type": "separator",
            "rank":30
          },
          {
            "command": "filemenu:close-and-cleanup",
            "rank": 30
            "rank": 40
          },
          {
            "command": "application:close",
            "disabled": true
          }
        ]
      },
diff --git a/packages/notebook-extension/src/index.ts b/packages/notebook-extension/src/index.ts
    translator = translator ?? nullTranslator;
    const trans = translator.load('notebook');

    const id = 'notebook:close-browser-tab';
    const id = 'notebook:close-and-halt';
    commands.addCommand(id, {
      label: trans.__('Close andShut Down Notebook'),
      label: trans.__('Close andHalt'),
      execute: async () => {
        await commands.execute('notebook:close-and-shutdown');
        window.close();
Original file line number	Diff line number	Diff line change
Expand Up		@@ -15,12 +15,16 @@
		"rank": 20
		},
		{
		"command": "application:close",
		"disabled":true
		"type": "separator",
		"rank":30
		},
		{
		"command": "filemenu:close-and-cleanup",
		"rank": 30
		"rank": 40
		},
		{
		"command": "application:close",
		"disabled": true
		}
		]
		},
Expand Down