@codemirror/lint 6.7.0 → 6.7.1
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/CHANGELOG.md +6 -0
- package/dist/index.cjs +1 -0
- package/dist/index.js +1 -0
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
package/dist/index.cjs
CHANGED
|
@@ -225,6 +225,7 @@ const lintPlugin = view.ViewPlugin.fromClass(class {
|
|
|
225
225
|
this.timeout = setTimeout(this.run, delay);
|
|
226
226
|
}
|
|
227
227
|
run() {
|
|
228
|
+
clearTimeout(this.timeout);
|
|
228
229
|
let now = Date.now();
|
|
229
230
|
if (now < this.lintTime - 10) {
|
|
230
231
|
this.timeout = setTimeout(this.run, this.lintTime - now);
|
package/dist/index.js
CHANGED
|
@@ -223,6 +223,7 @@ const lintPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
|
|
|
223
223
|
this.timeout = setTimeout(this.run, delay);
|
|
224
224
|
}
|
|
225
225
|
run() {
|
|
226
|
+
clearTimeout(this.timeout);
|
|
226
227
|
let now = Date.now();
|
|
227
228
|
if (now < this.lintTime - 10) {
|
|
228
229
|
this.timeout = setTimeout(this.run, this.lintTime - now);
|