mirror of
https://github.com/microsoft/vscode.git
synced 2026-09-13 13:52:33 +01:00
linting in workbench
This commit is contained in:
@@ -5,7 +5,6 @@
|
||||
'use strict';
|
||||
|
||||
import nls = require('vs/nls');
|
||||
import env = require('vs/base/common/flags');
|
||||
import platform = require('vs/platform/platform');
|
||||
import ConfigurationRegistry = require('vs/platform/configuration/common/configurationRegistry');
|
||||
import Options = require('vs/languages/typescript/common/options');
|
||||
|
||||
@@ -6,15 +6,9 @@
|
||||
|
||||
import {TPromise} from 'vs/base/common/winjs.base';
|
||||
import {TimeKeeperRenderer} from 'vs/base/browser/ui/timer/timer';
|
||||
import {Registry} from 'vs/platform/platform';
|
||||
import {Action} from 'vs/base/common/actions';
|
||||
import {SyncActionDescriptor} from 'vs/platform/actions/common/actions';
|
||||
import {IWorkbenchActionRegistry, Extensions} from 'vs/workbench/common/actionRegistry';
|
||||
import {INullService} from 'vs/platform/instantiation/common/instantiation';
|
||||
|
||||
const ID = 'workbench.action.showPerfBox';
|
||||
const LABEL = 'Display Performance Box';
|
||||
|
||||
let timeKeeperRenderer: TimeKeeperRenderer = null;
|
||||
|
||||
export class ShowPerformanceBox extends Action {
|
||||
|
||||
@@ -193,7 +193,7 @@ export class FileTracker implements IWorkbenchContribution {
|
||||
if (hasDirtyFiles !== isDirtyIndicated) {
|
||||
win.setDocumentEdited(hasDirtyFiles);
|
||||
}
|
||||
})
|
||||
});
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -288,7 +288,7 @@ export class WatchingProblemCollector extends AbstractProblemCollector implement
|
||||
this.ignoreOpenResourcesByOwner[matcher.owner] = (matcher.applyTo === ApplyToKind.closedDocuments);
|
||||
} else {
|
||||
let newValue = value && (matcher.applyTo === ApplyToKind.closedDocuments);
|
||||
if (newValue != value) {
|
||||
if (newValue !== value) {
|
||||
this.ignoreOpenResourcesByOwner[matcher.owner] = newValue;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user