Skip to content

Harden dock behavior: drag/drop, save & restore, split, etc.#871

Merged
kevinaboos merged 1 commit into
project-robius:mainfrom
kevinaboos:dock_hardening_fixes
May 20, 2026
Merged

Harden dock behavior: drag/drop, save & restore, split, etc.#871
kevinaboos merged 1 commit into
project-robius:mainfrom
kevinaboos:dock_hardening_fixes

Commits

Commits on May 19, 2026