From bd3bcdc5e610f099ca49c7e159c657879df56370 Mon Sep 17 00:00:00 2001 From: Johannes Rieken Date: Mon, 26 Mar 2018 15:18:39 +0200 Subject: [PATCH] fix #46442 --- src/vs/editor/contrib/gotoError/gotoError.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/editor/contrib/gotoError/gotoError.ts b/src/vs/editor/contrib/gotoError/gotoError.ts index 06c17fa4a3a..64d181d155e 100644 --- a/src/vs/editor/contrib/gotoError/gotoError.ts +++ b/src/vs/editor/contrib/gotoError/gotoError.ts @@ -276,7 +276,7 @@ class MarkerController implements editorCommon.IEditorContribution { private _getMarkers(): IMarker[] { return this._markerService.read({ resource: this._editor.getModel().uri, - severities: MarkerSeverity.Error | MarkerSeverity.Warning + severities: MarkerSeverity.Error | MarkerSeverity.Warning | MarkerSeverity.Info }); } } @@ -306,7 +306,7 @@ class MarkerNavigationAction extends EditorAction { } // try with the next/prev file - let markers = markerService.read({ severities: MarkerSeverity.Error | MarkerSeverity.Warning }).sort(MarkerNavigationAction.compareMarker); + let markers = markerService.read({ severities: MarkerSeverity.Error | MarkerSeverity.Warning | MarkerSeverity.Info }).sort(MarkerNavigationAction.compareMarker); if (markers.length === 0) { return undefined; } -- GitLab