Backport PR #11198: Rename "JupyterLab Theme" to "Theme" (#11199)

Co-authored-by: Jeremy Tuloup <jeremy.tuloup@gmail.com>

galata/test/galata/fixture.spec.ts

@@ -37,7 +37,7 @@ test.describe('mockSettings', () => {
 
   test('should not return mocked settings after save', async ({ page }) => {
     await page.click('text=Settings');
-    await page.click('ul[role="menu"] >> text=JupyterLab Theme');
+    await page.click('ul[role="menu"] >> text=Theme');
     const [response] = await Promise.all([
       page.waitForResponse(
         response =>

galata/test/jupyterlab/menus.test.ts

@@ -13,7 +13,7 @@ const menuPaths = [
   'Kernel',
   'Tabs',
   'Settings',
-  'Settings>JupyterLab Theme',
+  'Settings>Theme',
   'Settings>Console Run Keystroke',
   'Settings>Text Editor Key Map',
   'Settings>Text Editor Theme',

packages/apputils-extension/schema/themes.json

@@ -10,7 +10,7 @@
             "type": "submenu",
             "submenu": {
               "id": "jp-mainmenu-settings-apputilstheme",
-              "label": "JupyterLab Theme",
+              "label": "Theme",
               "items": [
                 { "type": "separator" },
                 {

packages/terminal-extension/src/index.ts

@@ -172,7 +172,7 @@ function activate(
   addCommands(app, tracker, settingRegistry, translator, options);
 
   if (mainMenu) {
-    // Add "Terminal Theme" menu below "JupyterLab Themes" menu.
+    // Add "Terminal Theme" menu below "Theme" menu.
     const themeMenu = new Menu({ commands });
     themeMenu.title.label = trans._p('menu', 'Terminal Theme');
     themeMenu.addItem({