message: Fix the position of the burger menu with respect to the Empty Pane Menu tab
diff: @@ -798,9 +798,14 @@ export class MainWebUi extends ThemeableElementBase implements keybindingmanager
  emptyPaneMenu.setEntries(this._commandPaletteEntries(emptyPaneMenu));
  emptyPaneMenuDiv.appendChild(emptyPaneMenu);
  +
  + if (tabWidget.children.length !== 0) {
  + tabWidget.insertBefore(emptyPaneMenuDiv, tabWidget.children.item(0));
  + tabWidget.insertBefore(emptyPaneMenuTab, emptyPaneMenuDiv);
  + } else {
  tabWidget.appendChild(emptyPaneMenuTab);
  tabWidget.appendChild(emptyPaneMenuDiv);
  -
  + }
  return emptyPaneMenu;
  }
  