Skip to content

check _editor validity before attempt to disconnect gutter_clicked, etc.#2

Open
d4lton wants to merge 1 commit intoDatoh:mainfrom
d4lton:check-editor-validity
Open

check _editor validity before attempt to disconnect gutter_clicked, etc.#2
d4lton wants to merge 1 commit intoDatoh:mainfrom
d4lton:check-editor-validity

Commits

Commits on Dec 22, 2025