mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-26 03:29:00 +01:00
Fixes #11304: Update node.d.ts for extension to 4.x version to be in line with normal extension development
This commit is contained in:
@@ -28,7 +28,7 @@ export function activateColorDecorations(decoratorProvider: (uri: string) => The
|
||||
let colorsDecorationType = window.createTextEditorDecorationType(decorationType);
|
||||
disposables.push(colorsDecorationType);
|
||||
|
||||
let pendingUpdateRequests : { [key:string]:number; } = {};
|
||||
let pendingUpdateRequests : { [key:string]: NodeJS.Timer; } = {};
|
||||
|
||||
// we care about all visible editors
|
||||
window.visibleTextEditors.forEach(editor => {
|
||||
|
||||
@@ -90,7 +90,7 @@ function updateConfiguration(settings: Settings) {
|
||||
documents.all().forEach(triggerValidation);
|
||||
}
|
||||
|
||||
let pendingValidationRequests : {[uri:string]:number} = {};
|
||||
let pendingValidationRequests : { [uri:string]: NodeJS.Timer } = {};
|
||||
const validationDelayMs = 200;
|
||||
|
||||
// The content of a text document has changed. This event is emitted
|
||||
|
||||
Reference in New Issue
Block a user