Skip to content

Account for scale when updating the gutter height#63

Merged
marijnh merged 1 commit intocodemirror:mainfrom viorgu:fix-gutter-scaleFeb 20, 2024