Skip to content

Fix serialization of pinned view plugin dock widgets - #1287

Merged
ThomasKroes merged 1 commit into
masterfrom
feature/fix-pinned-plugin-persistence
Jul 29, 2026
Merged

Fix serialization of pinned view plugin dock widgets#1287
ThomasKroes merged 1 commit into
masterfrom
feature/fix-pinned-plugin-persistence

Conversation

@ThomasKroes

Copy link
Copy Markdown
Contributor

Summary

Fixes serialization of pinned/auto-hidden view plugin dock widgets.

Changes

  • Enumerate registered ADS dock widgets via dockWidgetsMap() instead of only walking visible dock containers.
  • Preserve existing behavior for callers that exclude floating dock widgets.
  • Use the same lookup source for finding view plugin dock widgets and dock areas.

Rationale

Pinned/auto-hidden widgets can be registered with ADS without being returned by the previous dockWidgets() traversal. As a result, ManiVault could omit pinned view plugins during workspace serialization or skip restoring their plugin state after ADS layout restoration.

@ThomasKroes ThomasKroes self-assigned this Jul 29, 2026
@ThomasKroes ThomasKroes added bug Something isn't working UI User interface related labels Jul 29, 2026
@ThomasKroes ThomasKroes linked an issue Jul 29, 2026 that may be closed by this pull request
@JulianThijssen

JulianThijssen commented Jul 29, 2026

Copy link
Copy Markdown
Contributor

I don't currently have an easy way to test this out, but I'm happy to have it on master and will test it when I can. Thank you!

@ThomasKroes
ThomasKroes merged commit b1d88ab into master Jul 29, 2026
8 checks passed
@ThomasKroes
ThomasKroes deleted the feature/fix-pinned-plugin-persistence branch July 29, 2026 10:52
@ThomasKroes

Copy link
Copy Markdown
Contributor Author

I don't currently have an easy way to test this out, but I'm happy to have it on master and will test it when I can. Thank you!

Welcome!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working UI User interface related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Pinned Plugin Does Not Stay Open After Reopening Project

2 participants