Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

c: Repair Widget.groupId #79

Merged
merged 1 commit into from
Jun 3, 2024
Merged

Conversation

skieffer
Copy link
Member

@skieffer skieffer commented Jun 3, 2024

The groupId property of a widget was not getting updated when a page was rebuilt/reloaded.

This is because it was read once out of the widget info at construction time, and never again.

We now use a method, instead of a property, for groupId.

Note: Tried to use a proper get method, but Widget is still a Dojo-style class, which seems not to support this.

The `groupId` property of a widget was not getting updated when a page was
rebuilt/reloaded.

This is because it was read once out of the widget info at construction time,
and never again.

We now use a method, instead of a property, for `groupId`.

Note: Tried to use a proper `get` method, but `Widget` is still a Dojo-style
class, which seems not to support this.
@skieffer skieffer added the client client-side (all or primarily) label Jun 3, 2024
@skieffer skieffer merged commit e42aef5 into proofscape:main Jun 3, 2024
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
client client-side (all or primarily)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant