Add onDidChangeMarkers (fixes microsoft/monaco-editor#313)

This commit is contained in:
Alexandru Dima 2021-01-28 21:56:38 +01:00
parent de3b3ac549
commit 76adcde874
No known key found for this signature in database
GPG key ID: 6E58D7B045760DA0
2 changed files with 15 additions and 0 deletions

View file

@ -182,6 +182,14 @@ export function getModelMarkers(filter: { owner?: string, resource?: URI, take?:
return StaticServices.markerService.get().read(filter);
}
/**
* Emitted when markers change for a model.
* @event
*/
export function onDidChangeMarkers(listener: (e: readonly URI[]) => void): IDisposable {
return StaticServices.markerService.get().onMarkerChanged(listener);
}
/**
* Get the model that has `uri` if it exists.
*/
@ -339,6 +347,7 @@ export function createMonacoEditorAPI(): typeof monaco.editor {
setModelLanguage: <any>setModelLanguage,
setModelMarkers: <any>setModelMarkers,
getModelMarkers: <any>getModelMarkers,
onDidChangeMarkers: <any>onDidChangeMarkers,
getModels: <any>getModels,
getModel: <any>getModel,
onDidCreateModel: <any>onDidCreateModel,

6
src/vs/monaco.d.ts vendored
View file

@ -898,6 +898,12 @@ declare namespace monaco.editor {
take?: number;
}): IMarker[];
/**
* Emitted when markers change for a model.
* @event
*/
export function onDidChangeMarkers(listener: (e: readonly Uri[]) => void): IDisposable;
/**
* Get the model that has `uri` if it exists.
*/