Skip to content

Show a brighter border around folded blocks with selections#22114

Merged
SomeoneToIgnore merged 1 commit intomainfrom kb/highlight-folded-blocksDec 16, 2024

Commits

Commits on Dec 16, 2024