Skip to content

FerroUI main: subscription guards - #3

Merged
wieslawsoltes merged 2 commits into
mainfrom
ferroui-d5-guards
Nov 2, 2026
Merged

wieslawsoltes merged 2 commits into
mainfrom
ferroui-d5-guards

Conversation

@wieslawsoltes

Copy link
Copy Markdown
Contributor

Moves the FerroUI submodule to main (b75373981), where the subscription APIs return a Subscription guard that removes its handler when dropped (FerroUI #423, D4/D5). The subscriptions of the app that live as long as their source call detach(); timers the app stops itself are held as Subscription. cargo check --workspace --all-targets reports no unused guard.

The submodule moves to FerroUI main at b75373981, where the event,
timer, property-observation and other subscription APIs return a
Subscription guard that removes its handler when dropped (#423 D4/D5).
The timers and the event handlers of the app that are meant to last as
long as their source detach their Subscription guard, which would
otherwise remove the handler when it is dropped; the timers the game
stops itself are held as guards.
@wieslawsoltes
wieslawsoltes merged commit 189e30b into main Nov 2, 2026
7 checks passed
@wieslawsoltes
wieslawsoltes deleted the ferroui-d5-guards branch November 2, 2026 14:22
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