Skip to content

feat: focus editor after infoview edit#702

Merged
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:push-yqyqlqzyzxss
Feb 6, 2026
Merged

feat: focus editor after infoview edit#702
mhuisi merged 1 commit intoleanprover:masterfrom
mhuisi:push-yqyqlqzyzxss

Commits

Commits on Feb 6, 2026