Skip to content

Commit

Permalink
language-server: compute rangeLength when TextDocumentContentChangeEv…
Browse files Browse the repository at this point in the history
…ent provides null
  • Loading branch information
pngdrift authored and joshtynjala committed Feb 10, 2025
1 parent 6eedf25 commit 491a9c3
Showing 1 changed file with 7 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -128,7 +128,13 @@ private String patch(String sourceText, TextDocumentContentChangeEvent change) {
StringBuilder builder = new StringBuilder();
builder.append(sourceText.substring(0, offset));
builder.append(change.getText());
builder.append(sourceText.substring(offset + change.getRangeLength()));
Integer rangeLength = change.getRangeLength();
if (rangeLength == null) {
Position end = range.getEnd();
reader = new StringReader(sourceText);
rangeLength = LanguageServerCompilerUtils.getOffsetFromPosition(reader, end) - offset;
}
builder.append(sourceText.substring(offset + rangeLength));
return builder.toString();
}
}

0 comments on commit 491a9c3

Please sign in to comment.