Skip to content

FerroUI main: subscription guards - #5

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 three subscriptions of the app that live as long as their source (the main window's opened, the reader's delayed find timer and its theme change handler) call detach(); 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 opened handler of the main window, the delayed find of the reader
and its theme change handler subscribe for the life of their source:
they detach the Subscription guard, which would otherwise remove the
handler when it is dropped.
@wieslawsoltes
wieslawsoltes merged commit aa2ba72 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