custom-electron-titlebar 3.2.6 → 3.2.10

package/lib/vs/base/browser/ui/menu/menubar.js

@@ -1,1139 +0,0 @@
-"use strict";
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-exports.MenuBar = void 0;
-
-require("../../../../css!./menubar");
-
-const browser = require("../../browser");
-
-const DOM = require("../../dom");
-
-const strings = require("../../../common/strings");
-
-const nls = require("../../../../nls");
-
-const event_1 = require("../../event");
-
-const keyboardEvent_1 = require("../../keyboardEvent");
-
-const touch_1 = require("../../touch");
-
-const menu_1 = require("./menu");
-
-const actions_1 = require("../../../common/actions");
-
-const async_1 = require("../../../common/async");
-
-const event_2 = require("../../../common/event");
-
-const lifecycle_1 = require("../../../common/lifecycle");
-
-const types_1 = require("../../../common/types");
-
-const arrays_1 = require("../../../common/arrays");
-
-const scanCode_1 = require("../../../common/scanCode");
-
-const platform_1 = require("../../../common/platform");
-
-const mouseEvent_1 = require("../../mouseEvent");
-
-const codicons_1 = require("../../../common/codicons");
-
-const $ = DOM.$;
-const menuBarMoreIcon = codicons_1.registerIcon('menubar-more', codicons_1.Codicon.more);
-var MenubarState;
-
-(function (MenubarState) {
-  MenubarState[MenubarState["HIDDEN"] = 0] = "HIDDEN";
-  MenubarState[MenubarState["VISIBLE"] = 1] = "VISIBLE";
-  MenubarState[MenubarState["FOCUSED"] = 2] = "FOCUSED";
-  MenubarState[MenubarState["OPEN"] = 3] = "OPEN";
-})(MenubarState || (MenubarState = {}));
-
-class MenuBar extends lifecycle_1.Disposable {
-  constructor(container, options = {}) {
-    super();
-    this.container = container;
-    this.options = options; // Input-related
-
-    this._mnemonicsInUse = false;
-    this.openedViaKeyboard = false;
-    this.awaitingAltRelease = false;
-    this.ignoreNextMouseUp = false;
-    this.updatePending = false;
-    this.numMenusShown = 0;
-    this.overflowLayoutScheduled = undefined;
-    this.container.setAttribute('role', 'menubar');
-
-    if (this.options.compactMode !== undefined) {
-      this.container.classList.add('compact');
-    }
-
-    this.menuCache = [];
-    this.mnemonics = new Map();
-    this._focusState = MenubarState.VISIBLE;
-    this._onVisibilityChange = this._register(new event_2.Emitter());
-    this._onFocusStateChange = this._register(new event_2.Emitter());
-    this.createOverflowMenu();
-    this.menuUpdater = this._register(new async_1.RunOnceScheduler(() => this.update(), 200));
-    this.actionRunner = this._register(new actions_1.ActionRunner());
-
-    this._register(this.actionRunner.onDidBeforeRun(() => {
-      this.setUnfocusedState();
-    }));
-
-    this._register(ModifierKeyEmitter.getInstance().event(this.onModifierKeyToggled, this));
-
-    this._register(DOM.addDisposableListener(this.container, DOM.EventType.KEY_DOWN, e => {
-      let event = new keyboardEvent_1.StandardKeyboardEvent(e);
-      let eventHandled = true;
-      const key = !!e.key ? e.key.toLocaleLowerCase() : '';
-
-      if (event.equals(15
-      /* LeftArrow */
-      ) || platform_1.isMacintosh && event.equals(2
-      /* Tab */
-      | 1024
-      /* Shift */
-      )) {
-        this.focusPrevious();
-      } else if (event.equals(17
-      /* RightArrow */
-      ) || platform_1.isMacintosh && event.equals(2
-      /* Tab */
-      )) {
-        this.focusNext();
-      } else if (event.equals(9
-      /* Escape */
-      ) && this.isFocused && !this.isOpen) {
-        this.setUnfocusedState();
-      } else if (!this.isOpen && !event.ctrlKey && this.options.enableMnemonics && this.mnemonicsInUse && this.mnemonics.has(key)) {
-        const menuIndex = this.mnemonics.get(key);
-        this.onMenuTriggered(menuIndex, false);
-      } else {
-        eventHandled = false;
-      } // Never allow default tab behavior when not compact
-
-
-      if (this.options.compactMode === undefined && (event.equals(2
-      /* Tab */
-      | 1024
-      /* Shift */
-      ) || event.equals(2
-      /* Tab */
-      ))) {
-        event.preventDefault();
-      }
-
-      if (eventHandled) {
-        event.preventDefault();
-        event.stopPropagation();
-      }
-    }));
-
-    this._register(DOM.addDisposableListener(window, DOM.EventType.MOUSE_DOWN, () => {
-      // This mouse event is outside the menubar so it counts as a focus out
-      if (this.isFocused) {
-        this.setUnfocusedState();
-      }
-    }));
-
-    this._register(DOM.addDisposableListener(this.container, DOM.EventType.FOCUS_IN, e => {
-      let event = e;
-
-      if (event.relatedTarget) {
-        if (!this.container.contains(event.relatedTarget)) {
-          this.focusToReturn = event.relatedTarget;
-        }
-      }
-    }));
-
-    this._register(DOM.addDisposableListener(this.container, DOM.EventType.FOCUS_OUT, e => {
-      let event = e; // We are losing focus and there is no related target, e.g. webview case
-
-      if (!event.relatedTarget) {
-        this.setUnfocusedState();
-      } // We are losing focus and there is a target, reset focusToReturn value as not to redirect
-      else if (event.relatedTarget && !this.container.contains(event.relatedTarget)) {
-          this.focusToReturn = undefined;
-          this.setUnfocusedState();
-        }
-    }));
-
-    this._register(DOM.addDisposableListener(window, DOM.EventType.KEY_DOWN, e => {
-      if (!this.options.enableMnemonics || !e.altKey || e.ctrlKey || e.defaultPrevented) {
-        return;
-      }
-
-      const key = e.key.toLocaleLowerCase();
-
-      if (!this.mnemonics.has(key)) {
-        return;
-      }
-
-      this.mnemonicsInUse = true;
-      this.updateMnemonicVisibility(true);
-      const menuIndex = this.mnemonics.get(key);
-      this.onMenuTriggered(menuIndex, false);
-    }));
-
-    this.setUnfocusedState();
-  }
-
-  push(arg) {
-    const menus = arrays_1.asArray(arg);
-    menus.forEach(menuBarMenu => {
-      const menuIndex = this.menuCache.length;
-      const cleanMenuLabel = menu_1.cleanMnemonic(menuBarMenu.label);
-      const buttonElement = $('div.menubar-menu-button', {
-        'role': 'menuitem',
-        'tabindex': -1,
-        'aria-label': cleanMenuLabel,
-        'aria-haspopup': true
-      });
-      const titleElement = $('div.menubar-menu-title', {
-        'role': 'none',
-        'aria-hidden': true
-      });
-      buttonElement.appendChild(titleElement);
-      this.container.insertBefore(buttonElement, this.overflowMenu.buttonElement);
-      let mnemonicMatches = menu_1.MENU_MNEMONIC_REGEX.exec(menuBarMenu.label); // Register mnemonics
-
-      if (mnemonicMatches) {
-        let mnemonic = !!mnemonicMatches[1] ? mnemonicMatches[1] : mnemonicMatches[3];
-        this.registerMnemonic(this.menuCache.length, mnemonic);
-      }
-
-      this.updateLabels(titleElement, buttonElement, menuBarMenu.label);
-
-      this._register(DOM.addDisposableListener(buttonElement, DOM.EventType.KEY_UP, e => {
-        let event = new keyboardEvent_1.StandardKeyboardEvent(e);
-        let eventHandled = true;
-
-        if ((event.equals(18
-        /* DownArrow */
-        ) || event.equals(3
-        /* Enter */
-        )) && !this.isOpen) {
-          this.focusedMenu = {
-            index: menuIndex
-          };
-          this.openedViaKeyboard = true;
-          this.focusState = MenubarState.OPEN;
-        } else {
-          eventHandled = false;
-        }
-
-        if (eventHandled) {
-          event.preventDefault();
-          event.stopPropagation();
-        }
-      }));
-
-      this._register(touch_1.Gesture.addTarget(buttonElement));
-
-      this._register(DOM.addDisposableListener(buttonElement, touch_1.EventType.Tap, e => {
-        // Ignore this touch if the menu is touched
-        if (this.isOpen && this.focusedMenu && this.focusedMenu.holder && DOM.isAncestor(e.initialTarget, this.focusedMenu.holder)) {
-          return;
-        }
-
-        this.ignoreNextMouseUp = false;
-        this.onMenuTriggered(menuIndex, true);
-        e.preventDefault();
-        e.stopPropagation();
-      }));
-
-      this._register(DOM.addDisposableListener(buttonElement, DOM.EventType.MOUSE_DOWN, e => {
-        // Ignore non-left-click
-        const mouseEvent = new mouseEvent_1.StandardMouseEvent(e);
-
-        if (!mouseEvent.leftButton) {
-          e.preventDefault();
-          return;
-        }
-
-        if (!this.isOpen) {
-          // Open the menu with mouse down and ignore the following mouse up event
-          this.ignoreNextMouseUp = true;
-          this.onMenuTriggered(menuIndex, true);
-        } else {
-          this.ignoreNextMouseUp = false;
-        }
-
-        e.preventDefault();
-        e.stopPropagation();
-      }));
-
-      this._register(DOM.addDisposableListener(buttonElement, DOM.EventType.MOUSE_UP, e => {
-        if (e.defaultPrevented) {
-          return;
-        }
-
-        if (!this.ignoreNextMouseUp) {
-          if (this.isFocused) {
-            this.onMenuTriggered(menuIndex, true);
-          }
-        } else {
-          this.ignoreNextMouseUp = false;
-        }
-      }));
-
-      this._register(DOM.addDisposableListener(buttonElement, DOM.EventType.MOUSE_ENTER, () => {
-        if (this.isOpen && !this.isCurrentMenu(menuIndex)) {
-          this.menuCache[menuIndex].buttonElement.focus();
-          this.cleanupCustomMenu();
-          this.showCustomMenu(menuIndex, false);
-        } else if (this.isFocused && !this.isOpen) {
-          this.focusedMenu = {
-            index: menuIndex
-          };
-          buttonElement.focus();
-        }
-      }));
-
-      this.menuCache.push({
-        label: menuBarMenu.label,
-        actions: menuBarMenu.actions,
-        buttonElement: buttonElement,
-        titleElement: titleElement
-      });
-    });
-  }
-
-  createOverflowMenu() {
-    const label = this.options.compactMode !== undefined ? nls.localize('mAppMenu', 'Application Menu') : nls.localize('mMore', 'More');
-    const title = this.options.compactMode !== undefined ? label : undefined;
-    const buttonElement = $('div.menubar-menu-button', {
-      'role': 'menuitem',
-      'tabindex': this.options.compactMode !== undefined ? 0 : -1,
-      'aria-label': label,
-      'title': title,
-      'aria-haspopup': true
-    });
-    const titleElement = $('div.menubar-menu-title.toolbar-toggle-more' + menuBarMoreIcon.cssSelector, {
-      'role': 'none',
-      'aria-hidden': true
-    });
-    buttonElement.appendChild(titleElement);
-    this.container.appendChild(buttonElement);
-    buttonElement.style.visibility = 'hidden';
-
-    this._register(DOM.addDisposableListener(buttonElement, DOM.EventType.KEY_UP, e => {
-      let event = new keyboardEvent_1.StandardKeyboardEvent(e);
-      let eventHandled = true;
-      const triggerKeys = [3
-      /* Enter */
-      ];
-
-      if (this.options.compactMode === undefined) {
-        triggerKeys.push(18
-        /* DownArrow */
-        );
-      } else {
-        triggerKeys.push(10
-        /* Space */
-        );
-        triggerKeys.push(this.options.compactMode === menu_1.Direction.Right ? 17
-        /* RightArrow */
-        : 15
-        /* LeftArrow */
-        );
-      }
-
-      if (triggerKeys.some(k => event.equals(k)) && !this.isOpen) {
-        this.focusedMenu = {
-          index: MenuBar.OVERFLOW_INDEX
-        };
-        this.openedViaKeyboard = true;
-        this.focusState = MenubarState.OPEN;
-      } else {
-        eventHandled = false;
-      }
-
-      if (eventHandled) {
-        event.preventDefault();
-        event.stopPropagation();
-      }
-    }));
-
-    this._register(touch_1.Gesture.addTarget(buttonElement));
-
-    this._register(DOM.addDisposableListener(buttonElement, touch_1.EventType.Tap, e => {
-      // Ignore this touch if the menu is touched
-      if (this.isOpen && this.focusedMenu && this.focusedMenu.holder && DOM.isAncestor(e.initialTarget, this.focusedMenu.holder)) {
-        return;
-      }
-
-      this.ignoreNextMouseUp = false;
-      this.onMenuTriggered(MenuBar.OVERFLOW_INDEX, true);
-      e.preventDefault();
-      e.stopPropagation();
-    }));
-
-    this._register(DOM.addDisposableListener(buttonElement, DOM.EventType.MOUSE_DOWN, e => {
-      // Ignore non-left-click
-      const mouseEvent = new mouseEvent_1.StandardMouseEvent(e);
-
-      if (!mouseEvent.leftButton) {
-        e.preventDefault();
-        return;
-      }
-
-      if (!this.isOpen) {
-        // Open the menu with mouse down and ignore the following mouse up event
-        this.ignoreNextMouseUp = true;
-        this.onMenuTriggered(MenuBar.OVERFLOW_INDEX, true);
-      } else {
-        this.ignoreNextMouseUp = false;
-      }
-
-      e.preventDefault();
-      e.stopPropagation();
-    }));
-
-    this._register(DOM.addDisposableListener(buttonElement, DOM.EventType.MOUSE_UP, e => {
-      if (e.defaultPrevented) {
-        return;
-      }
-
-      if (!this.ignoreNextMouseUp) {
-        if (this.isFocused) {
-          this.onMenuTriggered(MenuBar.OVERFLOW_INDEX, true);
-        }
-      } else {
-        this.ignoreNextMouseUp = false;
-      }
-    }));
-
-    this._register(DOM.addDisposableListener(buttonElement, DOM.EventType.MOUSE_ENTER, () => {
-      if (this.isOpen && !this.isCurrentMenu(MenuBar.OVERFLOW_INDEX)) {
-        this.overflowMenu.buttonElement.focus();
-        this.cleanupCustomMenu();
-        this.showCustomMenu(MenuBar.OVERFLOW_INDEX, false);
-      } else if (this.isFocused && !this.isOpen) {
-        this.focusedMenu = {
-          index: MenuBar.OVERFLOW_INDEX
-        };
-        buttonElement.focus();
-      }
-    }));
-
-    this.overflowMenu = {
-      buttonElement: buttonElement,
-      titleElement: titleElement,
-      label: 'More'
-    };
-  }
-
-  updateMenu(menu) {
-    const menuToUpdate = this.menuCache.filter(menuBarMenu => menuBarMenu.label === menu.label);
-
-    if (menuToUpdate && menuToUpdate.length) {
-      menuToUpdate[0].actions = menu.actions;
-    }
-  }
-
-  dispose() {
-    super.dispose();
-    this.menuCache.forEach(menuBarMenu => {
-      menuBarMenu.titleElement.remove();
-      menuBarMenu.buttonElement.remove();
-    });
-    this.overflowMenu.titleElement.remove();
-    this.overflowMenu.buttonElement.remove();
-    lifecycle_1.dispose(this.overflowLayoutScheduled);
-    this.overflowLayoutScheduled = undefined;
-  }
-
-  blur() {
-    this.setUnfocusedState();
-  }
-
-  getWidth() {
-    if (this.menuCache) {
-      const left = this.menuCache[0].buttonElement.getBoundingClientRect().left;
-      const right = this.hasOverflow ? this.overflowMenu.buttonElement.getBoundingClientRect().right : this.menuCache[this.menuCache.length - 1].buttonElement.getBoundingClientRect().right;
-      return right - left;
-    }
-
-    return 0;
-  }
-
-  getHeight() {
-    return this.container.clientHeight;
-  }
-
-  toggleFocus() {
-    if (!this.isFocused && this.options.visibility !== 'hidden') {
-      this.mnemonicsInUse = true;
-      this.focusedMenu = {
-        index: this.numMenusShown > 0 ? 0 : MenuBar.OVERFLOW_INDEX
-      };
-      this.focusState = MenubarState.FOCUSED;
-    } else if (!this.isOpen) {
-      this.setUnfocusedState();
-    }
-  }
-
-  updateOverflowAction() {
-    var _a, _b;
-
-    if (!this.menuCache || !this.menuCache.length) {
-      return;
-    }
-
-    const sizeAvailable = this.container.offsetWidth;
-    let currentSize = 0;
-    let full = this.options.compactMode !== undefined;
-    const prevNumMenusShown = this.numMenusShown;
-    this.numMenusShown = 0;
-
-    for (let menuBarMenu of this.menuCache) {
-      if (!full) {
-        const size = menuBarMenu.buttonElement.offsetWidth;
-
-        if (currentSize + size > sizeAvailable) {
-          full = true;
-        } else {
-          currentSize += size;
-          this.numMenusShown++;
-
-          if (this.numMenusShown > prevNumMenusShown) {
-            menuBarMenu.buttonElement.style.visibility = 'visible';
-          }
-        }
-      }
-
-      if (full) {
-        menuBarMenu.buttonElement.style.visibility = 'hidden';
-      }
-    } // Overflow
-
-
-    if (full) {
-      // Can't fit the more button, need to remove more menus
-      while (currentSize + this.overflowMenu.buttonElement.offsetWidth > sizeAvailable && this.numMenusShown > 0) {
-        this.numMenusShown--;
-        const size = this.menuCache[this.numMenusShown].buttonElement.offsetWidth;
-        this.menuCache[this.numMenusShown].buttonElement.style.visibility = 'hidden';
-        currentSize -= size;
-      }
-
-      this.overflowMenu.actions = [];
-
-      for (let idx = this.numMenusShown; idx < this.menuCache.length; idx++) {
-        this.overflowMenu.actions.push(new actions_1.SubmenuAction(`menubar.submenu.${this.menuCache[idx].label}`, this.menuCache[idx].label, this.menuCache[idx].actions || []));
-      }
-
-      if (this.overflowMenu.buttonElement.nextElementSibling !== this.menuCache[this.numMenusShown].buttonElement) {
-        this.overflowMenu.buttonElement.remove();
-        this.container.insertBefore(this.overflowMenu.buttonElement, this.menuCache[this.numMenusShown].buttonElement);
-        this.overflowMenu.buttonElement.style.visibility = 'visible';
-      }
-
-      const compactMenuActions = (_b = (_a = this.options).getCompactMenuActions) === null || _b === void 0 ? void 0 : _b.call(_a);
-
-      if (compactMenuActions && compactMenuActions.length) {
-        this.overflowMenu.actions.push(new actions_1.Separator());
-        this.overflowMenu.actions.push(...compactMenuActions);
-      }
-    } else {
-      this.overflowMenu.buttonElement.remove();
-      this.container.appendChild(this.overflowMenu.buttonElement);
-      this.overflowMenu.buttonElement.style.visibility = 'hidden';
-    }
-  }
-
-  updateLabels(titleElement, buttonElement, label) {
-    const cleanMenuLabel = menu_1.cleanMnemonic(label); // Update the button label to reflect mnemonics
-
-    if (this.options.enableMnemonics) {
-      let cleanLabel = strings.escape(label); // This is global so reset it
-
-      menu_1.MENU_ESCAPED_MNEMONIC_REGEX.lastIndex = 0;
-      let escMatch = menu_1.MENU_ESCAPED_MNEMONIC_REGEX.exec(cleanLabel); // We can't use negative lookbehind so we match our negative and skip
-
-      while (escMatch && escMatch[1]) {
-        escMatch = menu_1.MENU_ESCAPED_MNEMONIC_REGEX.exec(cleanLabel);
-      }
-
-      const replaceDoubleEscapes = str => str.replace(/&amp;&amp;/g, '&amp;');
-
-      if (escMatch) {
-        titleElement.innerText = '';
-        titleElement.append(strings.ltrim(replaceDoubleEscapes(cleanLabel.substr(0, escMatch.index)), ' '), $('mnemonic', {
-          'aria-hidden': 'true'
-        }, escMatch[3]), strings.rtrim(replaceDoubleEscapes(cleanLabel.substr(escMatch.index + escMatch[0].length)), ' '));
-      } else {
-        titleElement.innerText = replaceDoubleEscapes(cleanLabel).trim();
-      }
-    } else {
-      titleElement.innerText = cleanMenuLabel.replace(/&&/g, '&');
-    }
-
-    let mnemonicMatches = menu_1.MENU_MNEMONIC_REGEX.exec(label); // Register mnemonics
-
-    if (mnemonicMatches) {
-      let mnemonic = !!mnemonicMatches[1] ? mnemonicMatches[1] : mnemonicMatches[3];
-
-      if (this.options.enableMnemonics) {
-        buttonElement.setAttribute('aria-keyshortcuts', 'Alt+' + mnemonic.toLocaleLowerCase());
-      } else {
-        buttonElement.removeAttribute('aria-keyshortcuts');
-      }
-    }
-  }
-
-  style(style) {
-    this.menuStyle = style;
-  }
-
-  update(options) {
-    if (options) {
-      this.options = options;
-    } // Don't update while using the menu
-
-
-    if (this.isFocused) {
-      this.updatePending = true;
-      return;
-    }
-
-    this.menuCache.forEach(menuBarMenu => {
-      this.updateLabels(menuBarMenu.titleElement, menuBarMenu.buttonElement, menuBarMenu.label);
-    });
-
-    if (!this.overflowLayoutScheduled) {
-      this.overflowLayoutScheduled = DOM.scheduleAtNextAnimationFrame(() => {
-        this.updateOverflowAction();
-        this.overflowLayoutScheduled = undefined;
-      });
-    }
-
-    this.setUnfocusedState();
-  }
-
-  registerMnemonic(menuIndex, mnemonic) {
-    this.mnemonics.set(mnemonic.toLocaleLowerCase(), menuIndex);
-  }
-
-  hideMenubar() {
-    if (this.container.style.display !== 'none') {
-      this.container.style.display = 'none';
-
-      this._onVisibilityChange.fire(false);
-    }
-  }
-
-  showMenubar() {
-    if (this.container.style.display !== 'flex') {
-      this.container.style.display = 'flex';
-
-      this._onVisibilityChange.fire(true);
-
-      this.updateOverflowAction();
-    }
-  }
-
-  get focusState() {
-    return this._focusState;
-  }
-
-  set focusState(value) {
-    if (this._focusState >= MenubarState.FOCUSED && value < MenubarState.FOCUSED) {
-      // Losing focus, update the menu if needed
-      if (this.updatePending) {
-        this.menuUpdater.schedule();
-        this.updatePending = false;
-      }
-    }
-
-    if (value === this._focusState) {
-      return;
-    }
-
-    const isVisible = this.isVisible;
-    const isOpen = this.isOpen;
-    const isFocused = this.isFocused;
-    this._focusState = value;
-
-    switch (value) {
-      case MenubarState.HIDDEN:
-        if (isVisible) {
-          this.hideMenubar();
-        }
-
-        if (isOpen) {
-          this.cleanupCustomMenu();
-        }
-
-        if (isFocused) {
-          this.focusedMenu = undefined;
-
-          if (this.focusToReturn) {
-            this.focusToReturn.focus();
-            this.focusToReturn = undefined;
-          }
-        }
-
-        break;
-
-      case MenubarState.VISIBLE:
-        if (!isVisible) {
-          this.showMenubar();
-        }
-
-        if (isOpen) {
-          this.cleanupCustomMenu();
-        }
-
-        if (isFocused) {
-          if (this.focusedMenu) {
-            if (this.focusedMenu.index === MenuBar.OVERFLOW_INDEX) {
-              this.overflowMenu.buttonElement.blur();
-            } else {
-              this.menuCache[this.focusedMenu.index].buttonElement.blur();
-            }
-          }
-
-          this.focusedMenu = undefined;
-
-          if (this.focusToReturn) {
-            this.focusToReturn.focus();
-            this.focusToReturn = undefined;
-          }
-        }
-
-        break;
-
-      case MenubarState.FOCUSED:
-        if (!isVisible) {
-          this.showMenubar();
-        }
-
-        if (isOpen) {
-          this.cleanupCustomMenu();
-        }
-
-        if (this.focusedMenu) {
-          if (this.focusedMenu.index === MenuBar.OVERFLOW_INDEX) {
-            this.overflowMenu.buttonElement.focus();
-          } else {
-            this.menuCache[this.focusedMenu.index].buttonElement.focus();
-          }
-        }
-
-        break;
-
-      case MenubarState.OPEN:
-        if (!isVisible) {
-          this.showMenubar();
-        }
-
-        if (this.focusedMenu) {
-          this.showCustomMenu(this.focusedMenu.index, this.openedViaKeyboard);
-        }
-
-        break;
-    }
-
-    this._focusState = value;
-
-    this._onFocusStateChange.fire(this.focusState >= MenubarState.FOCUSED);
-  }
-
-  get isVisible() {
-    return this.focusState >= MenubarState.VISIBLE;
-  }
-
-  get isFocused() {
-    return this.focusState >= MenubarState.FOCUSED;
-  }
-
-  get isOpen() {
-    return this.focusState >= MenubarState.OPEN;
-  }
-
-  get hasOverflow() {
-    return this.numMenusShown < this.menuCache.length;
-  }
-
-  setUnfocusedState() {
-    if (this.options.visibility === 'toggle' || this.options.visibility === 'hidden') {
-      this.focusState = MenubarState.HIDDEN;
-    } else if (this.options.visibility === 'default' && browser.isFullscreen()) {
-      this.focusState = MenubarState.HIDDEN;
-    } else {
-      this.focusState = MenubarState.VISIBLE;
-    }
-
-    this.ignoreNextMouseUp = false;
-    this.mnemonicsInUse = false;
-    this.updateMnemonicVisibility(false);
-  }
-
-  focusPrevious() {
-    if (!this.focusedMenu || this.numMenusShown === 0) {
-      return;
-    }
-
-    let newFocusedIndex = (this.focusedMenu.index - 1 + this.numMenusShown) % this.numMenusShown;
-
-    if (this.focusedMenu.index === MenuBar.OVERFLOW_INDEX) {
-      newFocusedIndex = this.numMenusShown - 1;
-    } else if (this.focusedMenu.index === 0 && this.hasOverflow) {
-      newFocusedIndex = MenuBar.OVERFLOW_INDEX;
-    }
-
-    if (newFocusedIndex === this.focusedMenu.index) {
-      return;
-    }
-
-    if (this.isOpen) {
-      this.cleanupCustomMenu();
-      this.showCustomMenu(newFocusedIndex);
-    } else if (this.isFocused) {
-      this.focusedMenu.index = newFocusedIndex;
-
-      if (newFocusedIndex === MenuBar.OVERFLOW_INDEX) {
-        this.overflowMenu.buttonElement.focus();
-      } else {
-        this.menuCache[newFocusedIndex].buttonElement.focus();
-      }
-    }
-  }
-
-  focusNext() {
-    if (!this.focusedMenu || this.numMenusShown === 0) {
-      return;
-    }
-
-    let newFocusedIndex = (this.focusedMenu.index + 1) % this.numMenusShown;
-
-    if (this.focusedMenu.index === MenuBar.OVERFLOW_INDEX) {
-      newFocusedIndex = 0;
-    } else if (this.focusedMenu.index === this.numMenusShown - 1) {
-      newFocusedIndex = MenuBar.OVERFLOW_INDEX;
-    }
-
-    if (newFocusedIndex === this.focusedMenu.index) {
-      return;
-    }
-
-    if (this.isOpen) {
-      this.cleanupCustomMenu();
-      this.showCustomMenu(newFocusedIndex);
-    } else if (this.isFocused) {
-      this.focusedMenu.index = newFocusedIndex;
-
-      if (newFocusedIndex === MenuBar.OVERFLOW_INDEX) {
-        this.overflowMenu.buttonElement.focus();
-      } else {
-        this.menuCache[newFocusedIndex].buttonElement.focus();
-      }
-    }
-  }
-
-  updateMnemonicVisibility(visible) {
-    if (this.menuCache) {
-      this.menuCache.forEach(menuBarMenu => {
-        if (menuBarMenu.titleElement.children.length) {
-          let child = menuBarMenu.titleElement.children.item(0);
-
-          if (child) {
-            child.style.textDecoration = this.options.alwaysOnMnemonics || visible ? 'underline' : '';
-          }
-        }
-      });
-    }
-  }
-
-  get mnemonicsInUse() {
-    return this._mnemonicsInUse;
-  }
-
-  set mnemonicsInUse(value) {
-    this._mnemonicsInUse = value;
-  }
-
-  get onVisibilityChange() {
-    return this._onVisibilityChange.event;
-  }
-
-  get onFocusStateChange() {
-    return this._onFocusStateChange.event;
-  }
-
-  onMenuTriggered(menuIndex, clicked) {
-    if (this.isOpen) {
-      if (this.isCurrentMenu(menuIndex)) {
-        this.setUnfocusedState();
-      } else {
-        this.cleanupCustomMenu();
-        this.showCustomMenu(menuIndex, this.openedViaKeyboard);
-      }
-    } else {
-      this.focusedMenu = {
-        index: menuIndex
-      };
-      this.openedViaKeyboard = !clicked;
-      this.focusState = MenubarState.OPEN;
-    }
-  }
-
-  onModifierKeyToggled(modifierKeyStatus) {
-    const allModifiersReleased = !modifierKeyStatus.altKey && !modifierKeyStatus.ctrlKey && !modifierKeyStatus.shiftKey;
-
-    if (this.options.visibility === 'hidden') {
-      return;
-    } // Prevent alt-key default if the menu is not hidden and we use alt to focus
-
-
-    if (modifierKeyStatus.event && !this.options.disableAltFocus) {
-      if (scanCode_1.ScanCodeUtils.toEnum(modifierKeyStatus.event.code) === 159
-      /* AltLeft */
-      ) {
-          modifierKeyStatus.event.preventDefault();
-        }
-    } // Alt key pressed while menu is focused. This should return focus away from the menubar
-
-
-    if (this.isFocused && modifierKeyStatus.lastKeyPressed === 'alt' && modifierKeyStatus.altKey) {
-      this.setUnfocusedState();
-      this.mnemonicsInUse = false;
-      this.awaitingAltRelease = true;
-    } // Clean alt key press and release
-
-
-    if (allModifiersReleased && modifierKeyStatus.lastKeyPressed === 'alt' && modifierKeyStatus.lastKeyReleased === 'alt') {
-      if (!this.awaitingAltRelease) {
-        if (!this.isFocused && !(this.options.disableAltFocus && this.options.visibility !== 'toggle')) {
-          this.mnemonicsInUse = true;
-          this.focusedMenu = {
-            index: this.numMenusShown > 0 ? 0 : MenuBar.OVERFLOW_INDEX
-          };
-          this.focusState = MenubarState.FOCUSED;
-        } else if (!this.isOpen) {
-          this.setUnfocusedState();
-        }
-      }
-    } // Alt key released
-
-
-    if (!modifierKeyStatus.altKey && modifierKeyStatus.lastKeyReleased === 'alt') {
-      this.awaitingAltRelease = false;
-    }
-
-    if (this.options.enableMnemonics && this.menuCache && !this.isOpen) {
-      this.updateMnemonicVisibility(!this.awaitingAltRelease && modifierKeyStatus.altKey || this.mnemonicsInUse);
-    }
-  }
-
-  isCurrentMenu(menuIndex) {
-    if (!this.focusedMenu) {
-      return false;
-    }
-
-    return this.focusedMenu.index === menuIndex;
-  }
-
-  cleanupCustomMenu() {
-    if (this.focusedMenu) {
-      // Remove focus from the menus first
-      if (this.focusedMenu.index === MenuBar.OVERFLOW_INDEX) {
-        this.overflowMenu.buttonElement.focus();
-      } else {
-        this.menuCache[this.focusedMenu.index].buttonElement.focus();
-      }
-
-      if (this.focusedMenu.holder) {
-        if (this.focusedMenu.holder.parentElement) {
-          this.focusedMenu.holder.parentElement.classList.remove('open');
-        }
-
-        this.focusedMenu.holder.remove();
-      }
-
-      if (this.focusedMenu.widget) {
-        this.focusedMenu.widget.dispose();
-      }
-
-      this.focusedMenu = {
-        index: this.focusedMenu.index
-      };
-    }
-  }
-
-  showCustomMenu(menuIndex, selectFirst = true) {
-    const actualMenuIndex = menuIndex >= this.numMenusShown ? MenuBar.OVERFLOW_INDEX : menuIndex;
-    const customMenu = actualMenuIndex === MenuBar.OVERFLOW_INDEX ? this.overflowMenu : this.menuCache[actualMenuIndex];
-
-    if (!customMenu.actions) {
-      return;
-    }
-
-    const menuHolder = $('div.menubar-menu-items-holder', {
-      'title': ''
-    });
-    customMenu.buttonElement.classList.add('open');
-
-    if (this.options.compactMode === menu_1.Direction.Right) {
-      menuHolder.style.top = `0px`;
-      menuHolder.style.left = `${customMenu.buttonElement.getBoundingClientRect().left + this.container.clientWidth}px`;
-    } else if (this.options.compactMode === menu_1.Direction.Left) {
-      menuHolder.style.top = `0px`;
-      menuHolder.style.right = `${this.container.clientWidth}px`;
-      menuHolder.style.left = 'auto';
-    } else {
-      menuHolder.style.top = `${this.container.clientHeight}px`;
-      menuHolder.style.left = `${customMenu.buttonElement.getBoundingClientRect().left}px`;
-    }
-
-    customMenu.buttonElement.appendChild(menuHolder);
-    let menuOptions = {
-      getKeyBinding: this.options.getKeybinding,
-      actionRunner: this.actionRunner,
-      enableMnemonics: this.options.alwaysOnMnemonics || this.mnemonicsInUse && this.options.enableMnemonics,
-      ariaLabel: types_1.withNullAsUndefined(customMenu.buttonElement.getAttribute('aria-label')),
-      expandDirection: this.options.compactMode !== undefined ? this.options.compactMode : menu_1.Direction.Right,
-      useEventAsContext: true
-    };
-
-    let menuWidget = this._register(new menu_1.Menu(menuHolder, customMenu.actions, menuOptions));
-
-    if (this.menuStyle) {
-      menuWidget.style(this.menuStyle);
-    }
-
-    this._register(menuWidget.onDidCancel(() => {
-      this.focusState = MenubarState.FOCUSED;
-    }));
-
-    if (actualMenuIndex !== menuIndex) {
-      menuWidget.trigger(menuIndex - this.numMenusShown);
-    } else {
-      menuWidget.focus(selectFirst);
-    }
-
-    this.focusedMenu = {
-      index: actualMenuIndex,
-      holder: menuHolder,
-      widget: menuWidget
-    };
-  }
-
-}
-
-exports.MenuBar = MenuBar;
-MenuBar.OVERFLOW_INDEX = -1;
-
-class ModifierKeyEmitter extends event_2.Emitter {
-  constructor() {
-    super();
-    this._subscriptions = new lifecycle_1.DisposableStore();
-    this._keyStatus = {
-      altKey: false,
-      shiftKey: false,
-      ctrlKey: false
-    };
-
-    this._subscriptions.add(event_1.domEvent(document.body, 'keydown', true)(e => {
-      const event = new keyboardEvent_1.StandardKeyboardEvent(e);
-
-      if (e.altKey && !this._keyStatus.altKey) {
-        this._keyStatus.lastKeyPressed = 'alt';
-      } else if (e.ctrlKey && !this._keyStatus.ctrlKey) {
-        this._keyStatus.lastKeyPressed = 'ctrl';
-      } else if (e.shiftKey && !this._keyStatus.shiftKey) {
-        this._keyStatus.lastKeyPressed = 'shift';
-      } else if (event.keyCode !== 6
-      /* Alt */
-      ) {
-          this._keyStatus.lastKeyPressed = undefined;
-        } else {
-        return;
-      }
-
-      this._keyStatus.altKey = e.altKey;
-      this._keyStatus.ctrlKey = e.ctrlKey;
-      this._keyStatus.shiftKey = e.shiftKey;
-
-      if (this._keyStatus.lastKeyPressed) {
-        this._keyStatus.event = e;
-        this.fire(this._keyStatus);
-      }
-    }));
-
-    this._subscriptions.add(event_1.domEvent(document.body, 'keyup', true)(e => {
-      if (!e.altKey && this._keyStatus.altKey) {
-        this._keyStatus.lastKeyReleased = 'alt';
-      } else if (!e.ctrlKey && this._keyStatus.ctrlKey) {
-        this._keyStatus.lastKeyReleased = 'ctrl';
-      } else if (!e.shiftKey && this._keyStatus.shiftKey) {
-        this._keyStatus.lastKeyReleased = 'shift';
-      } else {
-        this._keyStatus.lastKeyReleased = undefined;
-      }
-
-      if (this._keyStatus.lastKeyPressed !== this._keyStatus.lastKeyReleased) {
-        this._keyStatus.lastKeyPressed = undefined;
-      }
-
-      this._keyStatus.altKey = e.altKey;
-      this._keyStatus.ctrlKey = e.ctrlKey;
-      this._keyStatus.shiftKey = e.shiftKey;
-
-      if (this._keyStatus.lastKeyReleased) {
-        this._keyStatus.event = e;
-        this.fire(this._keyStatus);
-      }
-    }));
-
-    this._subscriptions.add(event_1.domEvent(document.body, 'mousedown', true)(e => {
-      this._keyStatus.lastKeyPressed = undefined;
-    }));
-
-    this._subscriptions.add(event_1.domEvent(document.body, 'mouseup', true)(e => {
-      this._keyStatus.lastKeyPressed = undefined;
-    }));
-
-    this._subscriptions.add(event_1.domEvent(document.body, 'mousemove', true)(e => {
-      if (e.buttons) {
-        this._keyStatus.lastKeyPressed = undefined;
-      }
-    }));
-
-    this._subscriptions.add(event_1.domEvent(window, 'blur')(e => {
-      this._keyStatus.lastKeyPressed = undefined;
-      this._keyStatus.lastKeyReleased = undefined;
-      this._keyStatus.altKey = false;
-      this._keyStatus.shiftKey = false;
-      this._keyStatus.shiftKey = false;
-      this.fire(this._keyStatus);
-    }));
-  }
-
-  static getInstance() {
-    if (!ModifierKeyEmitter.instance) {
-      ModifierKeyEmitter.instance = new ModifierKeyEmitter();
-    }
-
-    return ModifierKeyEmitter.instance;
-  }
-
-  dispose() {
-    super.dispose();
-
-    this._subscriptions.dispose();
-  }
-
-}