Repository navigation
Windows: let the notch hide until the cursor reaches its edge - #239
Closed
1boooook2-maker wants to merge 2 commits into
Closed
1boooook2-maker wants to merge 2 commits into
1boooook2-maker wants to merge 2 commits into
Commits
Commits on Sep 17, 2026