close_document

[codefix]

Closes an in-memory live document so TGlider returns to disk-backed source for that file.

Try it locally in the TGlider playground

Parameters

Examples

Replace sample paths and symbol keys with values from your workspace.

Close a live document

{
  "filePath": "src/app.ts"
}

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "close_document",
    "arguments": {
      "filePath": "src/app.ts"
    }
  }
}

Response Notes

Returns whether the document was closed and the new workspace revision.