Skip to content

fix scrolling to highlighted lines on source view#3271

Merged
haarg merged 1 commit intomasterfrom
haarg/fix-source-scroll
Mar 5, 2025
Merged

fix scrolling to highlighted lines on source view#3271
haarg merged 1 commit intomasterfrom
haarg/fix-source-scroll

Commits

Commits on Jan 28, 2025