_clearWorkspaceHistory() {
    const menu = this.getWorkspaceHistoryMenu();
    const items = Array.from(menu.items);
    menu.clear();
    if (!items[2].visible) {
      items[2].visible = true;
    }
    for (let i = 0; i < 3; i++) {
      menu.append(items[i]);
    }
  }
/**
   * Removes all workspace history entries from the menu.
   */
Removes all workspace history entries from the menu.
Removes all workspace history entries from the menu .
_clearWorkspaceHistory() {
    const menu = this.getWorkspaceHistoryMenu();
    const items = Array.from(menu.items);
    menu.clear();
    if (!items[2].visible) {
      items[2].visible = true;
    }
    for (let i = 0; i < 3; i++) {
      menu.append(items[i]);
    }
  }
_clearWorkspaceHistory ( ) { const menu = this . getWorkspaceHistoryMenu ( ) ; const items = Array . from ( menu . items ) ; menu . clear ( ) ; if ( ! items [ 2 ] . visible ) { items [ 2 ] . visible = true ; } for ( let i = 0 ; i < 3 ; i ++ ) { menu . append ( items [ i ] ) ; } }
Removes all workspace history entries from the menu.
Removes all workspace history entries from the menu .