@codemirror/lint
Advanced tools
Comparing version 6.7.0 to 6.7.1
@@ -0,1 +1,7 @@ | ||
## 6.7.1 (2024-05-15) | ||
### Bug fixes | ||
Don't perform an additional superfluous timed lint run after `forceLinting` has been called. | ||
## 6.7.0 (2024-04-30) | ||
@@ -2,0 +8,0 @@ |
@@ -226,2 +226,3 @@ import { Decoration, showPanel, EditorView, ViewPlugin, logException, gutter, showTooltip, hoverTooltip, getPanel, WidgetType, GutterMarker } from '@codemirror/view'; | ||
run() { | ||
clearTimeout(this.timeout); | ||
let now = Date.now(); | ||
@@ -228,0 +229,0 @@ if (now < this.lintTime - 10) { |
{ | ||
"name": "@codemirror/lint", | ||
"version": "6.7.0", | ||
"version": "6.7.1", | ||
"description": "Linting support for the CodeMirror code editor", | ||
@@ -5,0 +5,0 @@ "scripts": { |
Sorry, the diff of this file is not supported yet
83113
1781