From 1a3b0b5e8be8cadf016d72354d0d748859326fa6 Mon Sep 17 00:00:00 2001 From: Prashant Kumar Rai Date: Tue, 11 Aug 2026 23:33:36 +0530 Subject: [PATCH] Enhance InputRegion interface to support optional start and end columns --- Extension/src/LanguageServer/client.ts | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Extension/src/LanguageServer/client.ts b/Extension/src/LanguageServer/client.ts index b7c524169..ab62df80f 100644 --- a/Extension/src/LanguageServer/client.ts +++ b/Extension/src/LanguageServer/client.ts @@ -223,7 +223,9 @@ interface FileChangedParams extends WorkspaceFolderParams { interface InputRegion { startLine: number; + startColumn?: number; endLine: number; + endColumn?: number; } interface DecorationRangesPair { @@ -3054,7 +3056,11 @@ export class DefaultClient implements Client { this.inactiveRegionsDecorations.set(uriString, currentSet); } - Array.prototype.push.apply(currentSet.ranges, inactiveRegions.map(element => new vscode.Range(element.startLine, 0, element.endLine, 0))); + Array.prototype.push.apply(currentSet.ranges, inactiveRegions.map(element => new vscode.Range( + element.startLine, + element.startColumn ?? 0, + element.endLine, + element.endColumn ?? 0))); // Apply the decorations to all *visible* text editors const editors: vscode.TextEditor[] = vscode.window.visibleTextEditors.filter(e => e.document.uri.toString() === uriString);