Skip to content

fix: Mark the WidgetDiv and DropDownDiv as owned by the workspace - #9825

Merged
gonfunko merged 1 commit into
v13from
ownership
May 7, 2026
Merged

fix: Mark the WidgetDiv and DropDownDiv as owned by the workspace#9825
gonfunko merged 1 commit into
v13from
ownership

Conversation

@gonfunko

@gonfunko gonfunko commented May 6, 2026

Copy link
Copy Markdown
Contributor

The basics

The details

Resolves

Fixes #9798

Proposed Changes

This PR updates the WidgetDiv and DropDownDiv to be owned by the active workspace. This is done in the show() and hide() methods in order to keep ownership of these global elements tied to the active workspace even in multi-workspace scenarios.

@gonfunko
gonfunko requested a review from a team as a code owner May 6, 2026 22:43
@gonfunko
gonfunko requested a review from maribethb May 6, 2026 22:43
@github-actions github-actions Bot added the PR: fix Fixes a bug label May 6, 2026
@gonfunko
gonfunko merged commit 7700b00 into v13 May 7, 2026
9 checks passed
@gonfunko
gonfunko deleted the ownership branch May 7, 2026 19:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: fix Fixes a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants