Repository navigation
Hide the selected-tab overline in unfocused windows [patch] - #165
Open
matt-edmondson wants to merge 1 commit into
Open
matt-edmondson wants to merge 1 commit into
matt-edmondson wants to merge 1 commit into
Commits
Commits on Nov 5, 2026