Formatter: LSP: Return TextEdit as JSON

This commit is contained in:
gregorni 2023-09-07 21:59:20 +02:00
parent 19d0410ea0
commit 13b66e2875
2 changed files with 7 additions and 2 deletions

View file

@ -213,6 +213,7 @@ class LanguageServer:
"hoverProvider": True, "hoverProvider": True,
"documentSymbolProvider": True, "documentSymbolProvider": True,
"definitionProvider": True, "definitionProvider": True,
"documentFormattingProvider": True,
}, },
"serverInfo": { "serverInfo": {
"name": "Blueprint", "name": "Blueprint",
@ -310,8 +311,9 @@ class LanguageServer:
if tag in ("replace", "insert", "delete"): if tag in ("replace", "insert", "delete"):
lst.append( lst.append(
TextEdit( TextEdit(
Range(i1, i2), "" if tag == "delete" else formatted_blp[j1:j2] Range(i1, i2, open_file.text),
) "" if tag == "delete" else formatted_blp[j1:j2],
).to_json()
) )
self._send_response(id, lst) self._send_response(id, lst)

View file

@ -192,3 +192,6 @@ class LocationLink:
class TextEdit: class TextEdit:
range: Range range: Range
newText: str newText: str
def to_json(self):
return {"range": self.range.to_json(), "newText": self.newText}