Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-04-27 03:54:24 +01:00
Code Issues Packages Projects Releases Wiki Activity

Use IntegrityService in window title

Browse Source
This commit is contained in:
Alex Dima
2016-09-23 14:27:54 +03:00
parent 7d4c9abf44
commit b5fb75ea40
1 changed files with 19 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/vs/workbench/services/history/browser/history.ts
View File

@@ -26,6 +26,7 @@ import {once} from 'vs/base/common/event';
import {IInstantiationService} from 'vs/platform/instantiation/common/instantiation';
import {IEditorGroupService} from 'vs/workbench/services/group/common/groupService';
import {IEnvironmentService} from 'vs/platform/environment/common/environment';
import {IIntegrityService} from 'vs/platform/integrity/common/integrity';
/**
* Stores the selection & view state of an editor and allows to compare it to other selection states.
@@ -81,22 +82,32 @@ export abstract class BaseHistoryService {
protected toUnbind: IDisposable[];
private activeEditorListeners: IDisposable[];
private _isPure: boolean;
constructor(
private eventService: IEventService,
protected editorGroupService: IEditorGroupService,
protected editorService: IWorkbenchEditorService,
protected contextService: IWorkspaceContextService,
private environmentService: IEnvironmentService
private environmentService: IEnvironmentService,
private integrityService: IIntegrityService
) {
this.toUnbind = [];
this.activeEditorListeners = [];
this._isPure = true;
// Window Title
window.document.title = this.getWindowTitle(null);
// Editor Input Changes
this.toUnbind.push(this.editorGroupService.onEditorsChanged(() => this.onEditorsChanged()));
integrityService.isPure().then((r) => {
if (!r.isPure) {
this._isPure = false;
window.document.title = this.getWindowTitle(null);
}
});
}
private onEditorsChanged(): void {
@@ -157,7 +168,10 @@ export abstract class BaseHistoryService {
protected abstract handleActiveEditorChange(editor?: IBaseEditor): void;
protected getWindowTitle(input?: IEditorInput): string {
const title = this.doGetWindowTitle(input);
let title = this.doGetWindowTitle(input);
if (!this._isPure) {
title += nls.localize('patchedWindowTitle', " [Unsupported]");
}
// Extension Development Host gets a special title to identify itself
if (this.environmentService.extensionDevelopmentPath) {
@@ -244,9 +258,10 @@ export class HistoryService extends BaseHistoryService implements IHistoryServic
@IWorkspaceContextService contextService: IWorkspaceContextService,
@IStorageService private storageService: IStorageService,
@ILifecycleService private lifecycleService: ILifecycleService,
@IInstantiationService private instantiationService: IInstantiationService
@IInstantiationService private instantiationService: IInstantiationService,
@IIntegrityService integrityService: IIntegrityService
) {
super(eventService, editorGroupService, editorService, contextService, environmentService);
super(eventService, editorGroupService, editorService, contextService, environmentService, integrityService);
this.index = -1;
this.stack = [];