@codemirror/gutter
Advanced tools
Changelog
0.19.9 (2021-12-03)
Gutter markers can now have a destroy
method, which will be called when they are removed from the editor.
Changelog
0.19.8 (2021-12-01)
Fix a bug that causes gutters to disappear with some kinds of block widgets.
Changelog
0.19.7 (2021-11-30)
Fix an issue where the gutter elements would be misaligned by the size of the top document padding.
Changelog
0.19.6 (2021-11-30)
Optimizes gutter updates during scrolling by temporarily removing the gutters from the DOM during the update.
Changelog
0.19.5 (2021-11-12)
The line number gutter will now properly redraw when its configuration changes.
Gutters can now pass a lineMarkerChange
predicate that checks when line markers should be redrawn.
Changelog
0.19.4 (2021-10-27)
Make sure the gutter resizes whenever the editor geometry changes.
Changelog
0.19.3 (2021-10-23)
Fix a CSS bug that caused gutters without an element on every line to not span the height of the editor (leading to issues with background color and pointer events).
Changelog
0.19.2 (2021-09-13)
Fix the domEventHandlers
option to lineNumbers
, which was entirely ignored before.
Changelog
0.19.1 (2021-08-16)
Fix a bug where range sets with gutter markers didn't map correctly in response to changes at the start of the gutter's line.