ace-linters 1.8.6 → 1.8.8

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.
@@ -21035,6 +21035,10 @@ class SignatureTooltip extends BaseTooltip {
21035
21035
  this.provideSignatureHelp();
21036
21036
  });
21037
21037
  signature_tooltip_define_property(this, "provideSignatureHelp", ()=>{
21038
+ if (!this.$activeEditor) {
21039
+ // Editor was deactivated before this callback
21040
+ return;
21041
+ }
21038
21042
  let cursor = this.$activeEditor.getCursorPosition();
21039
21043
  let session = this.$activeEditor.session;
21040
21044
  let docPos = session.screenToDocumentPosition(cursor.row, cursor.column);
@@ -22959,6 +22963,8 @@ class SessionLanguageProvider {
22959
22963
  delete this.$provider.$urisToSessionsIds[this.documentUri];
22960
22964
  }
22961
22965
  this.$isConnected = false;
22966
+ //initial worker state
22967
+ this.session.setUseWorker(true);
22962
22968
  this.closeDocument(callback);
22963
22969
  }
22964
22970
  closeDocument(callback) {
@@ -23150,6 +23156,7 @@ class SessionLanguageProvider {
23150
23156
  this.$changeScrollTopHandler = ()=>this.getSemanticTokens();
23151
23157
  session.on("changeScrollTop", this.$changeScrollTopHandler);
23152
23158
  }
23159
+ session.setUseWorker(false);
23153
23160
  this.$init(config);
23154
23161
  }
23155
23162
  }
@@ -23487,6 +23494,7 @@ class LanguageProvider {
23487
23494
  delete this.$lightBulbWidgets[editor.id];
23488
23495
  }
23489
23496
  }
23497
+ editor.setOption("useWorker", true);
23490
23498
  if (this.activeEditor === editor) {
23491
23499
  this.activeEditor = this.editors.length > 0 ? this.editors[0] : null;
23492
23500
  }
@@ -20026,6 +20026,10 @@ class SignatureTooltip extends BaseTooltip {
20026
20026
  this.provideSignatureHelp();
20027
20027
  });
20028
20028
  signature_tooltip_define_property(this, "provideSignatureHelp", ()=>{
20029
+ if (!this.$activeEditor) {
20030
+ // Editor was deactivated before this callback
20031
+ return;
20032
+ }
20029
20033
  let cursor = this.$activeEditor.getCursorPosition();
20030
20034
  let session = this.$activeEditor.session;
20031
20035
  let docPos = session.screenToDocumentPosition(cursor.row, cursor.column);
@@ -21950,6 +21954,8 @@ class SessionLanguageProvider {
21950
21954
  delete this.$provider.$urisToSessionsIds[this.documentUri];
21951
21955
  }
21952
21956
  this.$isConnected = false;
21957
+ //initial worker state
21958
+ this.session.setUseWorker(true);
21953
21959
  this.closeDocument(callback);
21954
21960
  }
21955
21961
  closeDocument(callback) {
@@ -22141,6 +22147,7 @@ class SessionLanguageProvider {
22141
22147
  this.$changeScrollTopHandler = ()=>this.getSemanticTokens();
22142
22148
  session.on("changeScrollTop", this.$changeScrollTopHandler);
22143
22149
  }
22150
+ session.setUseWorker(false);
22144
22151
  this.$init(config);
22145
22152
  }
22146
22153
  }
@@ -22478,6 +22485,7 @@ class LanguageProvider {
22478
22485
  delete this.$lightBulbWidgets[editor.id];
22479
22486
  }
22480
22487
  }
22488
+ editor.setOption("useWorker", true);
22481
22489
  if (this.activeEditor === editor) {
22482
22490
  this.activeEditor = this.editors.length > 0 ? this.editors[0] : null;
22483
22491
  }