Skip to content

Highlight splitter gutter on resizing#1414

Merged
huchenlei merged 1 commit intomainfrom drag_highlightNov 3, 2024

Commits

Commits on Nov 3, 2024