ace-linters 1.0.3 → 1.0.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/build/language-client.js +10 -2
- package/package.json +1 -1
package/build/language-client.js
CHANGED
|
@@ -17188,11 +17188,15 @@ class LanguageClient extends base_service.BaseService {
|
|
|
17188
17188
|
});
|
|
17189
17189
|
}
|
|
17190
17190
|
applyDeltas(identifier, deltas) {
|
|
17191
|
+
var _this_serviceCapabilities, _this_serviceCapabilities1;
|
|
17191
17192
|
super.applyDeltas(identifier, deltas);
|
|
17192
|
-
if (!this.isConnected) {
|
|
17193
|
+
if (!this.isConnected || !this.serviceCapabilities) {
|
|
17194
|
+
return;
|
|
17195
|
+
}
|
|
17196
|
+
if (((_this_serviceCapabilities = this.serviceCapabilities) === null || _this_serviceCapabilities === void 0 ? void 0 : _this_serviceCapabilities.textDocumentSync) === browser_main.TextDocumentSyncKind.None) {
|
|
17193
17197
|
return;
|
|
17194
17198
|
}
|
|
17195
|
-
if (
|
|
17199
|
+
if (((_this_serviceCapabilities1 = this.serviceCapabilities) === null || _this_serviceCapabilities1 === void 0 ? void 0 : _this_serviceCapabilities1.textDocumentSync) !== browser_main.TextDocumentSyncKind.Incremental) {
|
|
17196
17200
|
return this.setValue(identifier, this.getDocument(identifier.uri).getText());
|
|
17197
17201
|
}
|
|
17198
17202
|
const textDocumentChange = {
|
|
@@ -17205,10 +17209,14 @@ class LanguageClient extends base_service.BaseService {
|
|
|
17205
17209
|
this.connection.sendNotification('textDocument/didChange', textDocumentChange);
|
|
17206
17210
|
}
|
|
17207
17211
|
setValue(identifier, value) {
|
|
17212
|
+
var _this_serviceCapabilities;
|
|
17208
17213
|
super.setValue(identifier, value);
|
|
17209
17214
|
if (!this.isConnected) {
|
|
17210
17215
|
return;
|
|
17211
17216
|
}
|
|
17217
|
+
if (((_this_serviceCapabilities = this.serviceCapabilities) === null || _this_serviceCapabilities === void 0 ? void 0 : _this_serviceCapabilities.textDocumentSync) === browser_main.TextDocumentSyncKind.None) {
|
|
17218
|
+
return;
|
|
17219
|
+
}
|
|
17212
17220
|
const textDocumentChange = {
|
|
17213
17221
|
textDocument: {
|
|
17214
17222
|
uri: identifier.uri,
|