src/vs/workbench/browser/parts/titlebar/windowTitle.ts/WindowTitle/doUpdateTitle
class WindowTitle:	private doUpdateTitle(): void {
		const title = this.getWindowTitle();
		if (title !== this.title) {
			// Always set the native window title to identify us properly to the OS
			let nativeTitle = title;
			if (!trim(nativeTitle)) {
				nativeTitle = this.productService.nameLong;
			}
			window.document.title = nativeTitle;
			this.title = title;
			this.onDidChangeEmitter.fire();
		}
	}