Fix down arrow key not working after font size change#364
Open
objectiveous wants to merge 2 commits intoCodeEditApp:mainfrom
Open
Fix down arrow key not working after font size change#364objectiveous wants to merge 2 commits intoCodeEditApp:mainfrom
objectiveous wants to merge 2 commits intoCodeEditApp:mainfrom
Commits
Commits on Feb 8, 2026
- andcommitted
- andcommitted