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

Conversation

@kevinaboos
Copy link
Copy Markdown
Member

Misc fixes too:

  • space lobby parent row header layout
  • icon fixes for macOS
  • welcome screen text padding

Misc fixes too:
* space lobby parent row header layout
* icon fixes for macOS
* welcome screen text padding
@kevinaboos kevinaboos merged commit 871a9a6 into project-robius:main May 20, 2026
11 checks passed
@kevinaboos kevinaboos deleted the dock_hardening_fixes branch May 20, 2026 00:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant