Skip to content

[desktop] Editor improvements#19

Closed
Codex wants to merge 1 commit intoeditor-improvementsfrom
codex/sub-pr-18
Closed

[desktop] Editor improvements#19
Codex wants to merge 1 commit intoeditor-improvementsfrom
codex/sub-pr-18

Commits

Commits on Feb 21, 2026