Scroll edge effect blurs line numbers on iOS 26#404

simonbs merged 2 commits intomainsimonbs/Runestone:mainfrom

enhancement/scroll-edge-blurs-line-numberssimonbs/Runestone:enhancement/scroll-edge-blurs-line-numbersCopy head branch name to clipboard