Adjust to changed definition of UriComponents

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
eclipse-theia · Feb 8, 2024 · a1b6172 · a1b6172
1 parent 641cdda
commit a1b6172
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/packages/plugin-ext/src/plugin/type-converters.ts b/packages/plugin-ext/src/plugin/type-converters.ts
@@ -747,9 +747,10 @@ export function isModelRange(arg: unknown): arg is model.Range {
 export function isUriComponents(arg: unknown): arg is UriComponents {
     return isObject<UriComponents>(arg) &&
         typeof arg.scheme === 'string' &&
+        (arg['$mid'] === 1 || (
         typeof arg.path === 'string' &&
         typeof arg.query === 'string' &&
-        typeof arg.fragment === 'string';
+        typeof arg.fragment === 'string'));
 }
 
 export function isModelCallHierarchyItem(arg: unknown): arg is model.CallHierarchyItem {