@codemirror/lint
Advanced tools
Comparing version 6.4.1 to 6.4.2
@@ -0,1 +1,7 @@ | ||
## 6.4.2 (2023-09-14) | ||
### Bug fixes | ||
Make sure scrolling diagnostic into view in the panel works when the editor is scaled. | ||
## 6.4.1 (2023-08-26) | ||
@@ -2,0 +8,0 @@ |
@@ -468,6 +468,7 @@ import { Decoration, showPanel, EditorView, ViewPlugin, logException, gutter, showTooltip, hoverTooltip, getPanel, WidgetType, GutterMarker } from '@codemirror/view'; | ||
write: ({ sel, panel }) => { | ||
let scaleY = panel.height / this.list.offsetHeight; | ||
if (sel.top < panel.top) | ||
this.list.scrollTop -= panel.top - sel.top; | ||
this.list.scrollTop -= (panel.top - sel.top) / scaleY; | ||
else if (sel.bottom > panel.bottom) | ||
this.list.scrollTop += sel.bottom - panel.bottom; | ||
this.list.scrollTop += (sel.bottom - panel.bottom) / scaleY; | ||
} | ||
@@ -474,0 +475,0 @@ }); |
{ | ||
"name": "@codemirror/lint", | ||
"version": "6.4.1", | ||
"version": "6.4.2", | ||
"description": "Linting support for the CodeMirror code editor", | ||
@@ -5,0 +5,0 @@ "scripts": { |
Sorry, the diff of this file is not supported yet
80332
1752