(capabilities?: ServerCapabilities)
| 74 | } |
| 75 | |
| 76 | function getSyncKind(capabilities?: ServerCapabilities) { |
| 77 | if (!capabilities) return |
| 78 | const sync = capabilities.textDocumentSync |
| 79 | if (typeof sync === "number") return sync |
| 80 | return sync?.change |
| 81 | } |
| 82 | |
| 83 | function endPosition(text: string) { |
| 84 | const lines = text.split(/\r\n|\r|\n/) |