Editor experience: hover, selection, buffer cleanup, explorer fixes, fonts - #4
Open
TheyCodeMeSilvers wants to merge 2 commits into
Open
Editor experience: hover, selection, buffer cleanup, explorer fixes, fonts#4TheyCodeMeSilvers wants to merge 2 commits into
TheyCodeMeSilvers wants to merge 2 commits into
Commits
Commits on Aug 28, 2026
- committed
Dan Kingswell
Commits on Aug 31, 2026
- committedDan Kingswell