Skip to content

refactor: improve ergonomics of editor.set_editor_options#786

Merged
kanru merged 1 commit intomasterfrom
push-qvsuukmxqzpl
Dec 6, 2025
Merged

refactor: improve ergonomics of editor.set_editor_options#786
kanru merged 1 commit intomasterfrom
push-qvsuukmxqzpl

Commits

Commits on Dec 6, 2025