Skip to content

Fixed visibility button issue#54

Merged
PaulJonasJost merged 1 commit intodevelopfrom
fix_viewhint
Jan 17, 2025
Merged

Fixed visibility button issue#54
PaulJonasJost merged 1 commit intodevelopfrom
fix_viewhint

Conversation

@PaulJonasJost
Copy link
Copy Markdown
Collaborator

Previously, when closing the DockWidget within the window (n ot through the taskbar) it did not update the toggle in the taskbar. Now it does

@PaulJonasJost PaulJonasJost merged commit dde3a9c into develop Jan 17, 2025
@PaulJonasJost PaulJonasJost deleted the fix_viewhint branch January 17, 2025 15:12
@PaulJonasJost PaulJonasJost self-assigned this Jan 17, 2025
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