Skip to content

✨ Use Stage Manager's AutoHide value#611

Merged
mrkai77 merged 2 commits into
developfrom
stage-manager-autohide
Nov 13, 2024
Merged

✨ Use Stage Manager's AutoHide value#611
mrkai77 merged 2 commits into
developfrom
stage-manager-autohide

Conversation

@mrkai77

@mrkai77 mrkai77 commented Nov 13, 2024

Copy link
Copy Markdown
Owner

No description provided.

@mrkai77 mrkai77 self-assigned this Nov 13, 2024
@mrkai77 mrkai77 merged commit c1e9a33 into develop Nov 13, 2024
@mrkai77 mrkai77 deleted the stage-manager-autohide branch November 13, 2024 04:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant