提交 5d99197f 编写于 作者: B Benjamin Pasero

title: update title when workspace name changes

上级 8ea11c50
......@@ -100,6 +100,7 @@ export class TitlebarPart extends Part implements ITitleService {
this.toUnbind.push(this.configurationService.onDidUpdateConfiguration(() => this.onConfigurationChanged(true)));
this.toUnbind.push(this.editorGroupService.onEditorsChanged(() => this.onEditorsChanged()));
this.toUnbind.push(this.contextService.onDidChangeWorkspaceRoots(() => this.onDidChangeWorkspaceRoots()));
this.toUnbind.push(this.contextService.onDidChangeWorkspaceName(() => this.onDidChangeWorkspaceName()));
}
private onBlur(): void {
......@@ -116,6 +117,10 @@ export class TitlebarPart extends Part implements ITitleService {
this.setTitle(this.getWindowTitle());
}
private onDidChangeWorkspaceName(): void {
this.setTitle(this.getWindowTitle());
}
private onConfigurationChanged(update?: boolean): void {
const currentTitleTemplate = this.titleTemplate;
this.titleTemplate = this.configurationService.lookup<string>('window.title').value;
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册