message: Remove the title() method from the TabInfo class and friends
diff: @@ -114,10 +114,6 @@ class TabInfo {
  lastFocus: boolean = false; // True if this tab had the focus last.
  - title(): string {
  - return "";
  - }
  -
  focus(): void { }
  refresh(level: ResizeRefreshElementBase.RefreshLevel): void { }
  @@ -149,10 +145,6 @@ class TerminalTabInfo extends TabInfo {
  this.terminal.setScrollbackSize(config.scrollbackLines);
  }
  - title(): string {
  - return this.terminal.getTerminalTitle();
  - }
  -
  focus(): void {
  this.terminal.resizeToContainer();
  this.terminal.focus();
  @@ -195,10 +187,6 @@ class ViewerElementTabInfo extends TabInfo {
  super();
  }
  - title(): string {
  - return this.viewerElement.title;
  - }
  -
  focus(): void {
  this.viewerElement.focus();
  }
  @@ -439,12 +427,21 @@ export class MainWebUi extends ThemeableElementBase implements keybindingmanager
  private _handleTabSwitch(tabWidget: TabWidget): void {
  const tabInfos = this._tabInfo;
  - if (tabWidget.getCurrentIndex() >= 0 && tabWidget.getCurrentIndex() < tabInfos.length) {
  +
  const tabInfo = tabInfos[tabWidget.getCurrentIndex()];
  - this._sendTitleEvent(tabInfo.title());
  - tabInfo.focus();
  + const el = tabWidget.getCurrentTab().nextElementSibling;
  + let title = "";
  + if (el instanceof EtTerminal) {
  + title = el.getTerminalTitle();
  + } else if (el instanceof ViewerElement) {
  + title = el.title;
  + } else if (el instanceof EtViewerTab) {
  + title = el.title;
  }
  +
  + this._sendTitleEvent(title);
  + tabInfo.focus();
  }
  setInternalExtratermApi(api: InternalExtratermApi.InternalExtratermApi): void {
  