teksilo_core/build_context.rs
1// SPDX-License-Identifier: MPL-2.0
2// SPDX-FileCopyrightText: 2026 FernTech
3
4//! BuildContext — context available during Widget::build().
5//!
6//! Provides Signal-based APIs for creating reactive state, registering
7//! effects, and adding child widgets during the build lifecycle.
8
9use crate::binding::BindingRegistry;
10use crate::event_source::{SubscriptionHandle, SubscriptionId};
11use crate::signal::{ObserverHandle, Signal};
12use crate::widget_id::WidgetId;
13
14/// Context available during Widget::build().
15pub struct BuildContext<'a> {
16 pub(crate) tree: &'a mut crate::widget_tree::WidgetTree,
17 pub(crate) composite_id: Option<WidgetId>,
18 /// RAII handles for effects registered during this build cycle.
19 /// Transferred to the arena node's `effect_handles` after build returns.
20 pub(crate) effect_handles: Vec<ObserverHandle>,
21 /// Backend-event subscription handles registered during this build
22 /// cycle via `subscribe_event`. Transferred to the arena node's
23 /// `subscription_handles` after build returns.
24 pub(crate) subscription_handles: Vec<(SubscriptionId, SubscriptionHandle)>,
25 /// The `SubscriptionId`s the **previous** build of this same widget used, in the
26 /// order it created them. Empty on a first mount.
27 ///
28 /// A subscription's id is what crosses the thread boundary: the publisher-side
29 /// wrapper captures it by value and posts it, and the UI thread looks it up some
30 /// frames later. Minting a fresh id on every rebuild therefore silently destroys
31 /// every event already in flight, because `rebuild_single_widget` removes the
32 /// previous build's callbacks before `build()` runs and the queued event then names
33 /// an id nothing answers to. Re-using the ids here makes a subscription's identity
34 /// span the rebuilds of one widget, so an event posted before a rebuild is delivered
35 /// to the closure the *new* build installed.
36 ///
37 /// Matched **by position**, which is what makes it cheap and predictable: the Nth
38 /// `subscribe_event`/`subscribe_event_with_ctx` call of this build re-uses the id of
39 /// the Nth call of the last one. A build that subscribes fewer times simply leaves
40 /// the surplus ids unclaimed and they stay torn down; one that subscribes more
41 /// allocates fresh ids for the extras.
42 pub(crate) reusable_sub_ids: Vec<SubscriptionId>,
43}
44
45impl<'a> BuildContext<'a> {
46 /// The WidgetId of the widget being built.
47 pub fn self_id(&self) -> WidgetId {
48 self.composite_id
49 .expect("self_id() called outside of build()")
50 }
51
52 /// Add a widget to the tree.
53 pub fn add(&mut self, widget: impl crate::widget::Widget + 'static) -> WidgetId {
54 self.tree.add(widget)
55 }
56
57 /// Add a pre-boxed widget to the tree.
58 pub fn add_boxed(&mut self, widget: Box<dyn crate::widget::Widget>) -> WidgetId {
59 self.tree.add_boxed(widget)
60 }
61
62 /// Add a **parentless** widget this one owns: pre-built overlay content
63 /// (a dropdown menu, a date picker's calendar, a tooltip's nested cascade
64 /// children) that must not be reached by the child walk.
65 ///
66 /// Use this — never a bare [`add`](Self::add) — for anything built ahead of
67 /// time and parked with [`set_dormant`](Self::set_dormant) to be shown later
68 /// through an overlay. The two differ only in bookkeeping: `add` hands back
69 /// a node nothing owns, so the builder's own teardown cannot reach it and
70 /// every rebuild strands another copy in the arena; this records the
71 /// ownership edge, so the node dies with its owner and the previous
72 /// generation dies with each rebuild.
73 ///
74 /// Content that *can* be a child should be returned from `build()` as one
75 /// instead. This exists for content that cannot: activation and the paint
76 /// walk both descend through `children`, so a dormant popup parked there
77 /// wakes with its host and paints inline at zero size.
78 pub fn add_detached(&mut self, widget: impl crate::widget::Widget + 'static) -> WidgetId {
79 self.add_detached_boxed(Box::new(widget))
80 }
81
82 /// Insert a child whose subtree is **not built until `reveal` first turns
83 /// true**, and is retained from then on. Returns the host's id immediately.
84 ///
85 /// The shape this replaces is `ctx.add(panel)` followed by
86 /// `ctx.set_dormant(id)` — correct, but it builds content the user may never
87 /// open, on every rebuild of the owner. In a virtualized collection the
88 /// owner is a per-row delegate, so that cost is multiplied by the row count:
89 /// on a 40-row table whose cells each carried a four-item menu, the eager
90 /// form cost 325–552 ms per rebuild against 42–46 ms without the column at
91 /// all, and ~85% of it was the `add` rather than constructing the widget
92 /// value. See [`DeferredSubtree`](crate::deferred_subtree::DeferredSubtree)
93 /// for the full contract.
94 ///
95 /// Pass the same signal the content's `visible_when` gate uses. Everything
96 /// downstream of the returned id — `set_dormant` / `activate`,
97 /// `visible_when`, `OverlayRequest::content`, descendant checks,
98 /// dismissal — is unchanged; only when the subtree below it exists moves.
99 pub fn add_deferred(
100 &mut self,
101 reveal: crate::signal::Signal<bool>,
102 widget: impl crate::widget::Widget + 'static,
103 ) -> WidgetId {
104 self.add_deferred_boxed(reveal, Box::new(widget))
105 }
106
107 /// [`add_deferred`](Self::add_deferred) for an already-boxed widget.
108 pub fn add_deferred_boxed(
109 &mut self,
110 reveal: crate::signal::Signal<bool>,
111 widget: Box<dyn crate::widget::Widget>,
112 ) -> WidgetId {
113 self.add(crate::deferred_subtree::DeferredSubtree::new(
114 Some(reveal),
115 widget,
116 ))
117 }
118
119 /// [`add_deferred`](Self::add_deferred) for content the **framework**
120 /// materializes, kept as a child of the builder.
121 ///
122 /// The parented twin of
123 /// [`add_detached_deferred_on_demand`](Self::add_detached_deferred_on_demand),
124 /// for the two rich-tooltip attach paths: they have always parented their
125 /// body on the anchor's owner, and reparenting them to `detached` would move
126 /// which teardown reaps them. Only *when* the body is built changes.
127 ///
128 /// Worth the separate entry point because a rich tooltip is not one widget:
129 /// `RichTooltipWidget::build` eagerly pre-creates a nested tooltip for every
130 /// `:key` link in its body, recursively, so one attached tip expands into a
131 /// cascade. Built eagerly on a data view's row delegate, 29 rows of
132 /// Skribisto's Overview carried 1,305 tooltip widgets inside a 22,737-node
133 /// subtree, and tearing that down cost 5.3 s per arrow-key press — the
134 /// destroy, not the build.
135 pub fn add_deferred_on_demand(
136 &mut self,
137 widget: impl crate::widget::Widget + 'static,
138 ) -> WidgetId {
139 self.add(crate::deferred_subtree::DeferredSubtree::new(
140 None,
141 Box::new(widget),
142 ))
143 }
144
145 /// [`add_deferred`](Self::add_deferred) for content the **framework**
146 /// materializes rather than a widget's own open signal.
147 ///
148 /// The tooltip case: a tooltip body has no open signal a widget could hand
149 /// over — the tree decides, when a dwell matures. `WidgetTree` forces such
150 /// a host just before it consults `Widget::tooltip_has_content`, so the
151 /// body exists by the time anything asks it a question.
152 pub fn add_detached_deferred_on_demand(
153 &mut self,
154 widget: impl crate::widget::Widget + 'static,
155 ) -> WidgetId {
156 self.add_detached(crate::deferred_subtree::DeferredSubtree::new(
157 None,
158 Box::new(widget),
159 ))
160 }
161
162 /// [`add_deferred`](Self::add_deferred), inserted detached — the shape
163 /// overlay content wants, so it is owned by the builder and dies with it
164 /// rather than outliving every menu the user ever opened.
165 pub fn add_detached_deferred_boxed(
166 &mut self,
167 reveal: crate::signal::Signal<bool>,
168 widget: Box<dyn crate::widget::Widget>,
169 ) -> WidgetId {
170 self.add_detached(crate::deferred_subtree::DeferredSubtree::new(
171 Some(reveal),
172 widget,
173 ))
174 }
175
176 /// [`add_detached_deferred_boxed`](Self::add_detached_deferred_boxed) for an
177 /// unboxed widget.
178 pub fn add_detached_deferred(
179 &mut self,
180 reveal: crate::signal::Signal<bool>,
181 widget: impl crate::widget::Widget + 'static,
182 ) -> WidgetId {
183 self.add_detached_deferred_boxed(reveal, Box::new(widget))
184 }
185
186 /// [`add_detached`](Self::add_detached) for an already-boxed widget.
187 pub fn add_detached_boxed(&mut self, widget: Box<dyn crate::widget::Widget>) -> WidgetId {
188 let id = self.tree.add_boxed(widget);
189 let owner = self.self_id();
190 self.tree.record_detached(owner, id);
191 id
192 }
193
194 /// Add a Level 2 widget as a child of another widget.
195 pub fn add_child(
196 &mut self,
197 parent: WidgetId,
198 widget: impl crate::widget::Widget + 'static,
199 ) -> WidgetId {
200 self.tree.add_child(parent, widget)
201 }
202
203 // --- Signal APIs ---
204
205 /// Create a new mutable signal.
206 pub fn signal<T: 'static>(&mut self, value: T) -> Signal<T> {
207 Signal::new(value)
208 }
209
210 /// Create a new `Signal<f32>` that supports `animate_to()`.
211 /// Registered with the animation scheduler automatically. The owning
212 /// widget (`self_id()`) is recorded so that the scheduler can pause
213 /// the animation when the widget is offscreen, dormant, or rebuilt.
214 pub fn animated_signal(&mut self, value: f32) -> Signal<f32> {
215 let signal = Signal::new_animated(value);
216 let owner = self.self_id();
217 self.tree.register_animated_signal(&signal, owner);
218 signal
219 }
220
221 /// Register a pre-existing `Signal<f32>` for animation support.
222 /// Use this when the signal was created outside of `build()` (e.g. in the
223 /// widget constructor) and needs to be registered with the animation scheduler.
224 pub fn register_animated_signal(&mut self, signal: &Signal<f32>) {
225 let owner = self.self_id();
226 self.tree.register_animated_signal(signal, owner);
227 }
228
229 /// Read the OS-level `prefers-reduced-motion` preference. Widgets
230 /// that use looping or decorative animations (spinners, sprite
231 /// icons, marquee text, etc.) should skip starting them when this
232 /// returns `true` so the UI respects accessibility settings and —
233 /// as a bonus — draws no CPU/GPU.
234 pub fn prefers_reduced_motion(&self) -> bool {
235 self.tree.prefers_reduced_motion()
236 }
237
238 /// Build an [`AnimationSpec`](crate::animation_builder::AnimationSpec)
239 /// — the fluent ergonomic façade over `Signal<f32>::animate_to`.
240 /// Captures the theme's `MotionTokens` and the platform
241 /// reduced-motion preference at build time, returns a clonable
242 /// spec that event-handler closures can drive without
243 /// re-threading durations and easing.
244 ///
245 /// ```ignore
246 /// let knob_anim = ctx.animate().fast().standard();
247 /// handlers = handlers.on_tap(move |_, _| {
248 /// knob_anim.to_or_snap(&knob_position, target);
249 /// });
250 /// ```
251 pub fn animate(&self) -> crate::animation_builder::AnimationSpec {
252 crate::animation_builder::AnimationSpec::from_motion(
253 self.theme().motion.clone(),
254 self.prefers_reduced_motion(),
255 )
256 }
257
258 /// Attach `trigger` to the widget being built, in this window. Call it in
259 /// every `build()`: a rebuild whose `build()` no longer attaches it
260 /// releases it, as does the widget's destruction, and the tree's drop
261 /// releases the rest. A request pending when the widget is rebuilt is
262 /// still pending after it. Attaching the same trigger to the same widget
263 /// twice is a no-op. See [`crate::RepaintTrigger`].
264 pub fn attach_repaint_trigger(&mut self, trigger: &crate::RepaintTrigger) {
265 let id = self.self_id();
266 self.tree.attach_repaint_trigger(id, trigger);
267 }
268
269 /// Attach `source` to the widget being built, in this window, writing its
270 /// size and status into `signals`. Call it in every `build()`: a rebuild
271 /// detaches it and the new `build()` attaches again, the widget's
272 /// destruction detaches it, and the tree's drop detaches the rest.
273 ///
274 /// The source's current size and status are written into `signals`, and
275 /// recorded for the widget's paint, before this returns: a widget built
276 /// after this frame's layout pre-pass, or attached to a source that will
277 /// never commit again, lays out and draws its picture in its first frame.
278 /// Its pixels reach the renderer without passing through the widget: in
279 /// `paint()` the widget hands the attachment's consumer to
280 /// `Canvas::draw_live_image`. See [`teksilo_canvas::live_image`].
281 pub fn attach_live_image(
282 &mut self,
283 source: &teksilo_canvas::live_image::LiveImageSource,
284 signals: &crate::LiveImageSignals,
285 ) -> crate::LiveImageAttachment {
286 let id = self.self_id();
287 self.tree.attach_live_image(id, source, signals)
288 }
289
290 /// Run `hook` on the UI thread in the frame after a `RepaintTrigger`
291 /// attached to the widget being built requests a pull
292 /// ([`crate::RepaintTrigger::request_pull`]), whether or not the widget
293 /// is shown: it takes in what the producer stored and says what changed.
294 /// A widget that is not shown takes it in without its window drawing a
295 /// frame. Set it in every `build()`; it replaces the one an earlier
296 /// build set, and a pull requested before a rebuild runs the new one.
297 pub fn on_trigger_pull(&mut self, hook: impl FnMut() -> crate::PullOutcome + 'static) {
298 let id = self.self_id();
299 self.tree.set_trigger_pull_hook(id, Box::new(hook));
300 }
301
302 /// Opt into the shader-driven animated-quad pipeline. The widget
303 /// paint() emits ONE `canvas.draw_animated_quad(bounds, handle.slot(),
304 /// class)` call; the renderer samples per-slot state from its
305 /// uniform buffer each frame and the widget's paint() does not
306 /// re-run for animation ticks — only on layout changes. The
307 /// returned handle is stable for the widget-mount lifetime and
308 /// should be stashed on `self` to thread to `paint()`.
309 ///
310 /// For decorative motion that isn't a quad (scroll-offset tweens,
311 /// sidebar slide, toggle knob), keep using `ctx.animated_signal` +
312 /// `signal.animate_looping` — both paths coexist.
313 pub fn animated_quad(
314 &mut self,
315 kind: crate::animated_quad::AnimatedQuadKind,
316 ) -> crate::animated_quad::AnimatedQuadHandle {
317 let owner = self.self_id();
318 self.tree.register_animated_quad(owner, kind)
319 }
320
321 /// The per-frame delta-seconds signal. Observe it via
322 /// `ctx.effect(&ctx.frame_tick(), |delta| ...)` to run code once per
323 /// frame **the tree was explicitly asked to pump**. Merely observing
324 /// this signal does not keep the event loop awake — widgets must
325 /// call [`request_frame`](Self::request_frame) (typically from an
326 /// event handler or from inside the tick closure itself) to schedule
327 /// the next wake-up. This preserves Teksilo's draw-when-needed model.
328 pub fn frame_tick(&self) -> Signal<f32> {
329 self.tree.frame_tick()
330 }
331
332 /// Ask the tree to pump exactly one more frame. See
333 /// [`frame_tick`](Self::frame_tick) for the observer side.
334 pub fn request_frame(&self) {
335 self.tree.request_frame();
336 }
337
338 /// Request that the AccessKit tree be re-walked after this build pass.
339 /// Use when `build()` restructured its subtree in a way that changes the
340 /// accessibility tree (relayout alone no longer re-walks AT). `SceneView`
341 /// calls this each build, since it may have materialised or destroyed
342 /// scene widgets or applied a11y-only scene mutations.
343 pub fn request_accessibility_update(&self) {
344 self.tree.request_accessibility_update();
345 }
346
347 /// Speak `message` to the screen reader, politely.
348 ///
349 /// The build-time companion to
350 /// [`EventContext::announce`](crate::widget::EventContext::announce), for a
351 /// widget that discovers during `build()` that something needs saying — an
352 /// error surface appearing, a result count changing. Announcing from
353 /// `build()` announces once per *rebuild*, so guard it on a real change
354 /// rather than on the build itself.
355 pub fn announce(&mut self, message: impl Into<String>) {
356 self.tree.announce(message);
357 }
358
359 /// Speak `message` to the screen reader at the given urgency. See
360 /// [`EventContext::announce_with`](crate::widget::EventContext::announce_with).
361 pub fn announce_with(
362 &mut self,
363 message: impl Into<String>,
364 politeness: crate::announcer::Politeness,
365 ) {
366 self.tree.announce_with(message, politeness);
367 }
368
369 /// Clone the shared "frame requested" flag. Stash it on widget
370 /// state and call `.set(true)` from inside a frame-tick effect
371 /// closure to chain-request another frame without needing
372 /// mutable access to the tree. Used by widgets with continuous
373 /// frame needs (caret blink, drag auto-scroll, smooth
374 /// animations driven from a tick closure).
375 ///
376 /// **Prefer [`subscribe_frame_tick`](Self::subscribe_frame_tick)**
377 /// for visual-only continuous animations (Pulse, Cycle, …): the
378 /// scheduler-backed path automatically pauses the chain when the
379 /// owner widget is hidden, while this raw handle keeps the event
380 /// loop pumping at full frame rate regardless of visibility.
381 pub fn frame_request_handle(&self) -> std::rc::Rc<std::cell::Cell<bool>> {
382 self.tree.frame_request_handle()
383 }
384
385 /// Subscribe the widget being built to the per-frame-effect
386 /// scheduler. The returned RAII guard removes the subscription on
387 /// drop — store it on `self` so its lifetime tracks the widget's.
388 ///
389 /// While at least one subscriber's owner is visible, the framework
390 /// re-arms the frame tick after every render. When all
391 /// subscribers are hidden (e.g. parked inside a non-selected
392 /// `Switcher` branch), no re-arm happens and the chain dies, so
393 /// the event loop sleeps. On a hidden→visible transition the
394 /// `visible_when` binding's relayout dirty triggers a repaint that
395 /// paints the subscriber, which the post-render arm then detects
396 /// and resumes the chain.
397 ///
398 /// Replaces the widget-managed `frame_request.set(true)` re-arm
399 /// pattern for visual-only continuous animations. The widget's
400 /// `frame_tick` effect closure no longer needs to call
401 /// `frame_request.set(true)` itself — the scheduler handles it.
402 pub fn subscribe_frame_tick(&self) -> crate::frame_tick_scheduler::FrameTickSubscription {
403 let sub = self.tree.subscribe_frame_tick(self.self_id());
404 // Bootstrap: ensure at least one frame runs after registration
405 // so the first paint happens. The post-render re-arm takes over
406 // from there. This is also the resume nudge for the case where
407 // a widget rebuilds (e.g. due to a state change) while still
408 // hidden — the parent's relayout dirty will trigger paint, and
409 // post-render arm will pick up the chain.
410 self.tree.request_frame();
411 sub
412 }
413
414 /// Like [`subscribe_frame_tick`](Self::subscribe_frame_tick), but the
415 /// widget only needs to wake **at most once per `interval`** while
416 /// visible. Same visibility gate and RAII guard; between wakes the
417 /// event loop sleeps to the interval deadline rather than rendering
418 /// identical 60 fps frames. Use when the widget's visible output
419 /// changes far less often than 60 Hz — e.g. `Cycle`'s once-per-period
420 /// index advance, or a seconds-granular clock.
421 ///
422 /// The interval delays this widget's own wake and nothing else: a frame
423 /// anything else requests still runs at 60 Hz, and the `frame_tick`
424 /// effect fires on it too. Read the clock in the effect rather than
425 /// counting ticks.
426 pub fn subscribe_frame_tick_throttled(
427 &self,
428 interval: std::time::Duration,
429 ) -> crate::frame_tick_scheduler::FrameTickSubscription {
430 let sub = self
431 .tree
432 .subscribe_frame_tick_throttled(self.self_id(), interval);
433 // Bootstrap the first frame after registration (see
434 // `subscribe_frame_tick`).
435 self.tree.request_frame();
436 sub
437 }
438
439 /// Clone the shared wake-at deadline cell. Stash it on widget
440 /// state and set `Some(instant)` from a frame-tick effect to
441 /// schedule a one-shot deadline wake-up without keeping the event
442 /// loop in `Poll` mode. See `WidgetTree::wake_at_handle` for
443 /// the underlying mechanism.
444 pub fn wake_at_handle(&self) -> std::rc::Rc<std::cell::Cell<Option<std::time::Instant>>> {
445 self.tree.wake_at_handle()
446 }
447
448 /// Register a scoped effect tied to this build cycle.
449 /// The effect fires whenever the signal changes. It is automatically
450 /// cleaned up on rebuild or widget destruction.
451 pub fn effect<T: Clone + 'static>(&mut self, signal: &Signal<T>, f: impl Fn(&T) + 'static) {
452 let handle = signal.observe(f);
453 self.effect_handles.push(handle);
454 }
455
456 /// Register a pre-existing observer handle for lifecycle management.
457 /// The handle will be dropped (and the observer removed) on rebuild
458 /// or widget destruction.
459 pub fn own_handle(&mut self, handle: ObserverHandle) {
460 self.effect_handles.push(handle);
461 }
462
463 /// Get the binding registry.
464 pub fn binding_registry(&self) -> &BindingRegistry {
465 self.tree.binding_registry()
466 }
467
468 /// Get the current theme.
469 pub fn theme(&self) -> &crate::styles::Theme {
470 self.tree.theme()
471 }
472
473 /// The active [`TargetDensity`] — the ladder `ctx.theme().input` was
474 /// projected onto.
475 ///
476 /// Read it in `build()` when a dimension must be chosen once per build
477 /// (a `MinSize` wrapper, a recipe's metrics). For the values themselves
478 /// prefer `ctx.theme().input` plus the
479 /// [`density`](crate::styles::density) helpers, which encode the floors.
480 ///
481 /// [`TargetDensity`]: teksilo_tokens::TargetDensity
482 pub fn density(&self) -> teksilo_tokens::TargetDensity {
483 self.tree.input_density()
484 }
485
486 /// Reactive handle on the current theme. Fires observers when
487 /// `tree.set_theme(...)` is called. Build implementations that want
488 /// theme-driven values to update without a rebuild should use this
489 /// instead of cloning tokens from `self.theme()` — for example,
490 /// `ctx.theme_signal().map(|t| t.colors.accent)` or combining with
491 /// interaction state via `zip(...)`.
492 pub fn theme_signal(&self) -> crate::signal::Signal<crate::styles::Theme> {
493 self.tree.theme_signal().clone()
494 }
495
496 /// Current combined text-scale factor (`user × OS`, `1.0` = 100 %). One-shot
497 /// read for build-time sizing; for a value that updates without a rebuild,
498 /// bind [`text_scale_signal`](Self::text_scale_signal) instead.
499 pub fn text_scale(&self) -> f32 {
500 self.tree.effective_text_scale()
501 }
502
503 /// Reactive handle on the combined text-scale factor. Fires when the user
504 /// scale, theme, or OS text-scale preference changes. Build implementations
505 /// that derive a build-time dimension from the scale (e.g. `Calendar`'s
506 /// fixed cell sizes) bind this — typically at `Rebuild` level so the change
507 /// recomputes the constants — since a scale change relayouts but does not
508 /// rebuild on its own.
509 pub fn text_scale_signal(&self) -> crate::signal::Signal<f32> {
510 self.tree.text_scale_signal()
511 }
512
513 /// The window's device scale (physical px per logical px), as a signal.
514 /// Bind it at `Relayout` when `layout_response` or `place_children` reads
515 /// `LayoutContext::scale_factor`: a scale change with an unchanged logical
516 /// size relayouts nothing on its own.
517 pub fn device_scale_signal(&self) -> crate::signal::Signal<f32> {
518 self.tree.device_scale_signal()
519 }
520
521 /// Whether the host window is currently active (`focused AND not
522 /// occluded`). One-shot read for build-time use; for a value that reacts
523 /// to focus changes, bind [`window_active_signal`](Self::window_active_signal).
524 pub fn window_active(&self) -> bool {
525 self.tree.is_window_active()
526 }
527
528 /// Reactive handle on window-active state. Fires when the host window gains
529 /// or loses active status (`focused AND not occluded`). Build
530 /// implementations that show/hide appearance with window focus — caret
531 /// effects, the selection-colour swap in text fields, `DimWhenInactive` —
532 /// bind this, typically at `RepaintOnly` level (an active-state flip never
533 /// affects geometry). Starts `true`.
534 pub fn window_active_signal(&self) -> crate::signal::Signal<bool> {
535 self.tree.window_active_signal()
536 }
537
538 /// Reactive handle on the current locale. Fires observers when
539 /// `tree.set_locale(...)` is called.
540 pub fn locale_signal(&self) -> crate::signal::Signal<Option<String>> {
541 self.tree.locale_signal().clone()
542 }
543
544 /// The [`WindowState`](crate::window::WindowState) for the window
545 /// hosting this tree. `None` only for trees built outside of an
546 /// app (tests, headless scenarios). Use this to bind widgets to
547 /// window-level signals like `placement`, `size`, `focused`.
548 pub fn window(&self) -> Option<&crate::window::WindowState> {
549 self.tree.window_state()
550 }
551
552 /// Retrieve an application-scoped value of type `T` registered via
553 /// `TeksiloAppBuilder::app_state`. Returns `None` if no value of
554 /// that type was registered. The returned reference borrows from
555 /// the framework for the duration of the build pass.
556 pub fn app_state<T: 'static>(&self) -> Option<&T> {
557 self.tree.app_context().app_state::<T>()
558 }
559
560 /// Borrow the [`AppEventPoster`](crate::AppEventPoster) installed by the
561 /// framework, if any. Mirrors [`EventContext::poster`](crate::widget::EventContext::poster).
562 /// Used by integrations that wire a platform callback (e.g. a native menu
563 /// item) to post a typed payload back to the UI loop. Returns `None` for
564 /// trees built outside an app (tests / headless).
565 pub fn poster(&self) -> Option<&std::sync::Arc<dyn crate::AppEventPoster>> {
566 self.tree.app_context().poster()
567 }
568
569 /// Bind a widget's visibility to a boolean prop.
570 pub fn visible_when(&mut self, id: WidgetId, state: impl Into<crate::signal::Prop<bool>>) {
571 self.tree.visible_when(id, state);
572 }
573
574 /// Enqueue a one-shot action to run shortly after this build, with a real
575 /// [`EventContext`](crate::widget::EventContext) — the only place a widget
576 /// can read the OS parent window handle (`ctx.parent_window_handle()`),
577 /// `app_state`, and `poster` *together*, after it is mounted under its
578 /// window. The action runs at most once per enqueue (the app loop drains
579 /// the queue each iteration); a widget that rebuilds must guard against
580 /// enqueuing twice. Built for widgets owning a native OS resource that
581 /// needs a window handle to initialise (a `WebView`'s engine subview);
582 /// ordinary widgets never need it.
583 pub fn run_after_mount(&mut self, f: impl FnOnce(&mut crate::widget::EventContext) + 'static) {
584 self.tree.queue_mount_action(Box::new(f));
585 }
586
587 /// Observe a node's framework activation as a `Signal<bool>` — `true`
588 /// while active, `false` while parked dormant by a `Switcher` /
589 /// `visible_when` gate. Initialised to the node's current state and
590 /// updated only on an actual Active↔Dormant transition.
591 ///
592 /// Ordinary widgets never need this: dormant subtrees are simply not
593 /// painted, so they vanish for free. It exists for the one case where
594 /// "not painted" ≠ "hidden" — a widget owning a native OS resource
595 /// that renders *outside* the wgpu pass (a `WebView`'s engine subview).
596 /// Such a widget does `ctx.effect(&ctx.activation_signal(id), move |a|
597 /// handle.set_visible(*a))` to hide/show the native surface in lockstep.
598 pub fn activation_signal(&mut self, id: WidgetId) -> Signal<bool> {
599 self.tree.activation_signal(id)
600 }
601
602 /// The framework press signal for the widget being built — `true` while it
603 /// holds a pointer press whose visual should show.
604 ///
605 /// The router owns the state, so this is correct for the four cases a
606 /// widget's own `PointerDown`/`PointerUp` bookkeeping gets wrong: a press
607 /// that slides off its target goes `false` and comes back `true` on
608 /// re-entry (WCAG 2.2 SC 2.5.2), a press a pan claimant or an ancestor drag
609 /// wins goes `false` with no release to hang it on, a cancel clears it, and
610 /// a press inside a scrollable withholds the visual for the profile's
611 /// `press_feedback_delay` so a finger that turns out to be scrolling never
612 /// flashes a highlight. The rules are written out in `docs/touch-and-pen.md`
613 /// §7.
614 ///
615 /// Bind it at [`BindingLevel::RepaintOnly`](crate::binding::BindingLevel) —
616 /// a press changes colour, never size.
617 pub fn pressed_signal(&mut self) -> Signal<bool> {
618 let id = self.self_id();
619 self.tree.pressed_signal(id)
620 }
621
622 /// Reactive `Signal<bool>` that is `true` while the *focus scope* containing
623 /// the widget being built — its nearest focusable ancestor, e.g. the
624 /// enclosing `ListView` / `TreeView` — holds keyboard focus. Items outside
625 /// any focusable scope read a constant `true`.
626 ///
627 /// Drives **focus-aware selection**: a selected row renders with the active
628 /// `Selected` chrome while its view has focus and the muted
629 /// `SelectedInactive` chrome when focus moves elsewhere — the standard
630 /// desktop affordance (Qt `SH_ItemView_...`, macOS inactive selection) that
631 /// shows where the keyboard is. The scope is resolved at build time but the
632 /// signal stays live across focus changes.
633 pub fn view_focus_active(&mut self) -> Signal<bool> {
634 // Prefer the scope a containing data view explicitly established for its
635 // rows (deterministic, parenting-independent); else resolve by walking
636 // to the nearest focusable ancestor.
637 if let Some(scope) = self.tree.current_view_focus() {
638 return scope;
639 }
640 let id = self.self_id();
641 self.tree.view_focus_active_for(id)
642 }
643
644 /// Mark the widget being built as a **focus scope** for the rows/items it
645 /// builds next: any descendant's [`view_focus_active`](Self::view_focus_active)
646 /// (and `StandardItem`'s focus-aware selection / focus ring) reads *this*
647 /// widget's keyboard focus. A data view calls this around its row loop, then
648 /// [`end_view_focus`](Self::end_view_focus). Deterministic — unaffected by
649 /// arena parenting, which may not be wired while docked/virtualized rows build.
650 pub fn begin_view_focus(&mut self) -> Signal<bool> {
651 let id = self.self_id();
652 self.tree.begin_view_focus(id)
653 }
654
655 /// Like [`begin_view_focus`](Self::begin_view_focus) but keys the scope on
656 /// an explicit `node_id` rather than the widget being built. A view whose
657 /// rows are built by a **separate body-pane widget** (ListView / TreeView /
658 /// TableView / TreeTableView / GridView) passes its own focusable root id so
659 /// descendant
660 /// items resolve the *root's* keyboard focus — not the pane's, which is a
661 /// child of the root and so never holds focus itself.
662 pub fn begin_view_focus_for(&mut self, node_id: WidgetId) -> Signal<bool> {
663 self.tree.begin_view_focus(node_id)
664 }
665
666 /// End the focus scope opened by [`begin_view_focus`](Self::begin_view_focus).
667 pub fn end_view_focus(&mut self) {
668 self.tree.end_view_focus();
669 }
670
671 /// Input-modality "focus-visible" signal — `true` after keyboard input,
672 /// `false` after pointer input (the standard `:focus-visible` rule). Pair
673 /// with [`view_focus_active`](Self::view_focus_active) to draw a focus
674 /// ring only during keyboard navigation, not on mouse clicks.
675 pub fn focus_visible(&self) -> Signal<bool> {
676 self.tree.focus_visible_signal()
677 }
678
679 /// Bind an opacity multiplier (0..1) to a widget. The render walker
680 /// emits `SetOpacity(value)` before painting the widget's subtree
681 /// and `RestoreOpacity` afterwards, so the multiplier composes
682 /// correctly with ancestor opacity scopes. Bound at `RepaintOnly`:
683 /// opacity changes never trigger relayout. Used by the `Fade`
684 /// wrapper to animate a child between hidden and fully visible.
685 pub fn set_opacity(&mut self, id: WidgetId, opacity: impl Into<crate::signal::Prop<f32>>) {
686 self.tree.set_opacity(id, opacity);
687 }
688
689 /// Bind a 2D affine transform to a widget. The render walker emits
690 /// `PushTransform(value)` before painting the widget's subtree and
691 /// `PopTransform` afterwards, so the transform composes onto the
692 /// renderer's stack with any ancestor transform scopes and with
693 /// the widget's own canvas-level transforms. Bound at `RepaintOnly`:
694 /// visual-only transforms never trigger relayout. Used by `Scale`
695 /// and `Rotate`; reflow-driving wrappers (e.g. `Scale::reflow(true)`)
696 /// must additionally bind their driver signal to themselves at
697 /// `Relayout` to make layout track the value.
698 pub fn set_transform(
699 &mut self,
700 id: WidgetId,
701 transform: impl Into<crate::signal::Prop<teksilo_canvas::Transform2D>>,
702 ) {
703 self.tree.set_transform(id, transform);
704 }
705
706 /// Bind a 2D affine **content** transform to a widget — the transform
707 /// positions the widget's content within its fixed parent-space viewport
708 /// (its bounds) rather than transforming the widget itself. Renders the
709 /// same `PushTransform` / `PopTransform` scope as
710 /// [`set_transform`](Self::set_transform), but hit-testing treats the
711 /// bounds as a fixed viewport so the whole visible area stays interactive
712 /// at any pan / zoom. Used by `SceneView` for its pan/zoom view transform.
713 pub fn set_content_transform(
714 &mut self,
715 id: WidgetId,
716 transform: impl Into<crate::signal::Prop<teksilo_canvas::Transform2D>>,
717 ) {
718 self.tree.set_content_transform(id, transform);
719 }
720
721 /// Bind a Gaussian-equivalent blur radius to a widget. The render
722 /// walker emits `BeginBlurredSubtree { bounds, radius }` before
723 /// painting the widget's subtree and `EndBlurredSubtree` afterwards;
724 /// the renderer redirects drawing into an intermediate texture, runs
725 /// a dual-Kawase blur chain at the requested radius, and composites
726 /// the blurred result back into the parent pass at the widget's
727 /// bounds. Bound at `RepaintOnly`: blur radius changes never trigger
728 /// relayout. Sub-perceptual radii (< 0.5) skip the Begin/End pair
729 /// entirely so animated enable/disable patterns have zero per-frame
730 /// cost when fully off. Used by the `Blur` wrapper.
731 pub fn set_blur(&mut self, id: WidgetId, radius: impl Into<crate::signal::Prop<f32>>) {
732 self.tree.set_blur(id, radius);
733 }
734
735 /// Bind a widget's enabled state to a boolean prop.
736 pub fn enabled_when(&mut self, id: WidgetId, state: impl Into<crate::signal::Prop<bool>>) {
737 self.tree.enabled_when(id, state);
738 }
739
740 /// Reactive view of "is this widget effectively enabled?" — the AND
741 /// of the widget's own `enabled_state` and every ancestor's. The
742 /// arena's [`crate::arena::WidgetArena::is_enabled`] is the
743 /// non-reactive equivalent; this method gives composite widgets a
744 /// `Signal<bool>` they can `.map(...)` / `.zip(...)` against to
745 /// derive other reactive UI state (cursor, custom paint, helper
746 /// signals).
747 ///
748 /// Leaves like `IconWidget` / `TextWidget` / `RectWidget` do NOT
749 /// need this — they get the bool directly via
750 /// [`crate::widget::PaintContext::effective_enabled`] at paint time.
751 /// This method is for composites that need the value at build time
752 /// or want to chain signals.
753 ///
754 /// The signal is node-resident and framework-refreshed (install-or-reuse,
755 /// like [`Self::activation_signal`]), so it tracks ancestors correctly even
756 /// though a widget's parent is not yet wired while its own `build()` runs.
757 /// It is a *mutable* signal, so — unlike the old derived implementation —
758 /// it can be passed to [`Self::effect`].
759 ///
760 /// Returns a signal reading `true` for any node whose entire ancestor
761 /// chain (including itself) has no `enabled_state` bound.
762 pub fn effective_enabled_signal(&mut self, id: WidgetId) -> Signal<bool> {
763 self.tree.effective_enabled_signal(id)
764 }
765
766 /// Bind a widget's Tab-key participation to a boolean prop.
767 /// When false, the widget is removed
768 /// from Tab / Shift+Tab traversal but remains reachable via
769 /// `request_focus` and arrow-key navigation. Implements the ARIA
770 /// roving-tabindex pattern (HTML `tabindex="-1"` semantics).
771 pub fn set_tab_stop(&mut self, id: WidgetId, state: impl Into<crate::signal::Prop<bool>>) {
772 self.tree.set_tab_stop(id, state);
773 }
774
775 /// Publish what a data view's `Space` should do when the row containing
776 /// `id` holds the keyboard cursor.
777 ///
778 /// A `ListView` / `TreeView` row is not itself focusable and the view keeps
779 /// the row subtree out of the Tab order — a listbox is one Tab stop — so a
780 /// checkbox inside a row has no keyboard route of its own.
781 /// `StandardListItem` / `StandardTreeItem` publish one for the checkbox
782 /// they embed; a hand-written row delegate calls this to get the same
783 /// behaviour. Without it `Space` keeps meaning "toggle the selection".
784 pub fn set_keyboard_toggle(
785 &mut self,
786 id: WidgetId,
787 f: std::rc::Rc<dyn Fn(&mut crate::widget::EventContext)>,
788 ) {
789 self.tree.set_keyboard_toggle(id, f);
790 }
791
792 /// Declare the widget being built as a **traversal-scope boundary** for
793 /// Tab / Shift+Tab navigation. Descendants' `tab_index` values become
794 /// scoped to this node — they never collide with sibling scopes — and the
795 /// `policy` controls what happens at the scope's ends:
796 ///
797 /// - [`TraversalScopePolicy::Continue`](crate::focus::TraversalScopePolicy::Continue)
798 /// — Tab flows out into the enclosing scope's next member (groups
799 /// numbering only).
800 /// - [`TraversalScopePolicy::Cycle`](crate::focus::TraversalScopePolicy::Cycle)
801 /// — Tab wraps within the scope, never exits. For **modal dialogs only**:
802 /// a popover or menu is non-modal, and the framework closes one the
803 /// keyboard walks out of rather than containing focus in it. Trapping such
804 /// an overlay stops that dismissal from ever firing.
805 ///
806 /// This node is automatically excluded from being a Tab stop itself.
807 /// Prefer the `FocusScope` wrapper widget in `teksilo-widgets` over
808 /// calling this directly.
809 pub fn set_traversal_scope(&mut self, policy: crate::focus::TraversalScopePolicy) {
810 let id = self.self_id();
811 self.tree.set_traversal_scope(id, policy);
812 }
813
814 /// Attach a tooltip to a widget.
815 pub fn attach_tooltip(
816 &mut self,
817 anchor_id: WidgetId,
818 content_id: WidgetId,
819 delay: std::time::Duration,
820 ) {
821 self.tree.attach_tooltip(anchor_id, content_id, delay);
822 self.claim_tooltip_description(anchor_id);
823 }
824
825 /// Attach a tooltip with an explicit
826 /// [`TooltipPlacement`](crate::overlay::TooltipPlacement) — use `Side`
827 /// for anchors stacked vertically (menu items, a vertical tab strip,
828 /// list/tree rows) so the tooltip opens beside the anchor instead of
829 /// covering the next sibling.
830 pub fn attach_tooltip_with_placement(
831 &mut self,
832 anchor_id: WidgetId,
833 content_id: WidgetId,
834 delay: std::time::Duration,
835 placement: crate::overlay::TooltipPlacement,
836 ) {
837 self.tree
838 .attach_tooltip_with_placement(anchor_id, content_id, delay, placement);
839 self.claim_tooltip_description(anchor_id);
840 }
841
842 /// Attach a tooltip that auto-promotes to sticky after a dwell
843 /// timer. Non-None `sticky_after` enables the sticky-on-dwell UX:
844 /// once the tooltip has been shown for `sticky_after`, the tree
845 /// flags the entry sticky and swaps the overlay's dismiss
846 /// behavior to `EscapeOrClickOutside`.
847 pub fn attach_tooltip_with_sticky(
848 &mut self,
849 anchor_id: WidgetId,
850 content_id: WidgetId,
851 delay: std::time::Duration,
852 sticky_after: Option<std::time::Duration>,
853 ) {
854 self.tree
855 .attach_tooltip_with_sticky(anchor_id, content_id, delay, sticky_after);
856 self.claim_tooltip_description(anchor_id);
857 }
858
859 /// Variant of [`attach_tooltip_with_sticky`](Self::attach_tooltip_with_sticky)
860 /// that takes a shared `Rc<Cell<Option<Instant>>>` "sink" the
861 /// tree updates whenever the tooltip is shown / dismissed. The
862 /// tooltip widget reads from this sink to compute its own dwell
863 /// progress reliably, without needing a paint-gap heuristic.
864 pub fn attach_tooltip_with_sticky_sink(
865 &mut self,
866 anchor_id: WidgetId,
867 content_id: WidgetId,
868 delay: std::time::Duration,
869 sticky_after: Option<std::time::Duration>,
870 shown_at_sink: std::rc::Rc<std::cell::Cell<Option<std::time::Instant>>>,
871 ) {
872 self.tree.attach_tooltip_with_sticky_sink(
873 anchor_id,
874 content_id,
875 delay,
876 sticky_after,
877 shown_at_sink,
878 );
879 self.claim_tooltip_description(anchor_id);
880 }
881
882 /// Variant of [`attach_tooltip_with_sticky_sink`](Self::attach_tooltip_with_sticky_sink)
883 /// that also carries a [`TooltipPlacement`](crate::overlay::TooltipPlacement).
884 /// The full-featured path used by rich + composite tooltips that want
885 /// `Side` placement in a vertical context (menu items, list/tree rows).
886 pub fn attach_tooltip_with_sticky_sink_placement(
887 &mut self,
888 anchor_id: WidgetId,
889 content_id: WidgetId,
890 delay: std::time::Duration,
891 sticky_after: Option<std::time::Duration>,
892 shown_at_sink: std::rc::Rc<std::cell::Cell<Option<std::time::Instant>>>,
893 placement: crate::overlay::TooltipPlacement,
894 ) {
895 self.tree.attach_tooltip_with_sticky_sink_placement(
896 anchor_id,
897 content_id,
898 delay,
899 sticky_after,
900 shown_at_sink,
901 placement,
902 );
903 self.claim_tooltip_description(anchor_id);
904 }
905
906 /// Name this widget as the one the tooltip just attached describes.
907 ///
908 /// Every `attach_tooltip*` wrapper ends with this, so a composing control
909 /// gets it for free: `Button`, `Toggle` and the two dozen widgets shaped
910 /// like them hang the overlay off an inner chrome node -- the thing with
911 /// the right bounds to open against -- while their role, their name and
912 /// their focusability sit on their own outer node, which is the node an
913 /// assistive technology lands on and therefore the node a description has
914 /// to be on.
915 ///
916 /// A widget anchoring its tooltip on itself claims itself, which is what
917 /// it already had. A widget attaching *many* tooltips in one build -- a
918 /// list body pane, one per visible row -- claims itself for every one of
919 /// them, which is a claim that cannot be granted; the accessibility walk
920 /// is where that is noticed, because it is the only place the whole set
921 /// is visible at once.
922 fn claim_tooltip_description(&mut self, anchor_id: WidgetId) {
923 let owner = self.self_id();
924 self.tree.set_tooltip_description_owner(anchor_id, owner);
925 }
926
927 /// Promote a shown tooltip to "sticky": removes its auto-dismiss
928 /// on pointer-leave and swaps the overlay's dismiss behavior to
929 /// `EscapeOrClickOutside`. Used by rich tooltips that implement a
930 /// dwell timer.
931 pub fn promote_tooltip_to_sticky(&mut self, content_id: WidgetId) {
932 self.tree.promote_tooltip_to_sticky(content_id);
933 }
934
935 /// Set a widget as dormant (inactive). Used to pre-create overlay content
936 /// that will be activated later via `EventContext::activate()`.
937 pub fn set_dormant(&mut self, id: WidgetId) {
938 self.tree.set_dormant(id);
939 }
940
941 /// Destroy a widget and its entire subtree, removing them from the
942 /// arena and dropping any per-widget subscription / effect handles.
943 ///
944 /// Use this to clean up dormant subtrees that the current widget
945 /// created during a prior build and that live outside its regular
946 /// arena children — e.g., a pre-built popup panel inserted via
947 /// `ctx.add(..)` + `ctx.set_dormant(..)` that becomes stale after a
948 /// rebuild. Regular arena children of the composite (i.e. widgets
949 /// whose ids are returned from `build`) are destroyed automatically
950 /// by the framework's rebuild path and do not need this call.
951 ///
952 /// If an overlay currently references `id` as its content, the
953 /// overlay is dismissed first so the manager does not retain a
954 /// stale content reference.
955 pub fn destroy_subtree(&mut self, id: WidgetId) {
956 let overlay_id = self.tree.overlay_manager().find_by_content(id);
957 if let Some(overlay_id) = overlay_id {
958 self.tree.dismiss_overlay(overlay_id);
959 }
960 self.tree.destroy_subtree(id);
961 }
962
963 /// Apply a `HandlerSet` to the composite widget being built (self).
964 /// This transfers attached event handlers, focusable flag, cursor, etc.
965 /// to the widget's arena node, replacing `event()` and `is_focusable()` overrides.
966 pub fn apply_self_handlers(&mut self, handler_set: crate::widget_builder::HandlerSet) {
967 let id = self.self_id();
968 self.tree.apply_self_handler_set(id, handler_set);
969 }
970
971 /// Move keyboard focus to `id`. Mirrors
972 /// `EventContext::request_focus` for use during `build()` — e.g.
973 /// when a composing widget pre-builds an editor and needs focus to
974 /// land on it as soon as the subtree is wired in.
975 ///
976 /// A dormant `id` is focused once the next layout pass wakes it, as for
977 /// [`WidgetTree::focus`](crate::widget_tree::WidgetTree::focus).
978 pub fn focus(&mut self, id: WidgetId) {
979 self.tree.focus(id);
980 }
981
982 /// Find the first focusable widget within the subtree rooted at
983 /// `root` in depth-first order. Returns `None` when the subtree has
984 /// no focusable descendant or `root` is not in the arena.
985 pub fn first_focusable_descendant(&self, root: WidgetId) -> Option<WidgetId> {
986 self.tree.first_focusable_descendant(root)
987 }
988
989 /// Find the first widget within the subtree rooted at `root`, in
990 /// depth-first order, that is declared focusable, **whether or not it can
991 /// take focus right now**: a disabled control, or one kept out of the Tab
992 /// order, still counts. Dormant subtrees are skipped, as they are by
993 /// [`first_focusable_descendant`](Self::first_focusable_descendant).
994 ///
995 /// For a wrapper asking which control it stands for. A control disabled
996 /// when it is built is still that control, and taking it for absent would
997 /// have the wrapper add a focus stop of its own beside it.
998 pub fn first_focus_capable_descendant(&self, root: WidgetId) -> Option<WidgetId> {
999 self.tree.first_focus_capable_descendant(root)
1000 }
1001
1002 /// Move keyboard focus **into** the subtree rooted at `id`: its first
1003 /// focusable descendant in tab order, or `id` itself when it is the only
1004 /// focusable thing there. Returns whether focus ended up inside `id`.
1005 ///
1006 /// The build-time twin of
1007 /// [`EventContext::request_focus_into`](crate::widget::EventContext::request_focus_into),
1008 /// and safe here for the same reason [`focus`](Self::focus) is: `add` builds
1009 /// a child's whole subtree synchronously, so by the time a composing widget
1010 /// holds a child's id the focusable descendants of that child already exist.
1011 ///
1012 /// **Idempotent, and that is the point.** `build` runs again on every
1013 /// rebuild, so a bare `focus` here would drag focus back into this subtree
1014 /// every time the owner rebuilt for an unrelated reason — a table body pane
1015 /// rebuilds on selection, on filtering and on scroll. This is a no-op while
1016 /// focus already sits inside `id`, so it expresses "focus belongs in here"
1017 /// rather than "focus here now".
1018 ///
1019 /// A subtree with nothing focusable leaves focus exactly where it was: an
1020 /// empty region never traps it.
1021 ///
1022 /// A **dormant** `id` (a parked page, a hidden branch) is entered once the
1023 /// next layout pass has woken it, as for
1024 /// [`WidgetTree::focus`](crate::widget_tree::WidgetTree::focus); this
1025 /// returns `false` meanwhile, since focus is not inside `id` yet.
1026 ///
1027 /// ⚠ **Ancestor-chain side effects do not run**, and that is a property of
1028 /// focusing from `build` at all, not of this method — [`focus`](Self::focus)
1029 /// has it too. A node added during `build` is not parented until the build
1030 /// that produced it *returns*, so at this moment `id`'s chain stops at
1031 /// whatever the caller has already inserted: `focus_within` signals on
1032 /// enclosing nodes never flip, and `scroll_focused_into_view` finds no
1033 /// scroll container to reveal the target in. Everything **below** `id` is
1034 /// linked (children are parented as each is inserted), so the walk that
1035 /// picks the focusable descendant, and every later key dispatch — which
1036 /// happens after the pass, on a whole tree — are unaffected.
1037 ///
1038 /// Reach for [`EventContext::request_focus_into`](crate::widget::EventContext::request_focus_into)
1039 /// where the difference matters: it is queued and drained after dispatch,
1040 /// against a complete tree.
1041 pub fn focus_into(&mut self, id: WidgetId) -> bool {
1042 if let Some(focused) = self.tree.focused()
1043 && (focused == id || self.tree.is_descendant_of(focused, id))
1044 {
1045 return true;
1046 }
1047 let mut noop = crate::window::NoopWindowOps;
1048 self.tree
1049 .request_focus_with_ops(id, crate::widget_tree::FocusRequestMode::Into, &mut noop);
1050 self.tree
1051 .focused()
1052 .is_some_and(|focused| focused == id || self.tree.is_descendant_of(focused, id))
1053 }
1054
1055 // --- Actions & shortcuts ---
1056
1057 /// Attach an [`Action`](crate::action::Action) to the widget being
1058 /// built. Actions are consulted during intent dispatch as the
1059 /// framework walks source-widget → root; the first matching,
1060 /// enabled action wins (subject to the `IntentResponse` returned
1061 /// by its handler).
1062 ///
1063 /// Actions are cleared on rebuild, mirroring event handlers.
1064 pub fn register_action(&mut self, action: crate::action::Action) {
1065 let id = self.self_id();
1066 self.tree.push_action(id, action);
1067 }
1068
1069 /// Declare that the widget being built **edits text**.
1070 ///
1071 /// Every text widget should call this. It is what lets an application run
1072 /// an edit command — Undo, Copy — from a menu or a toolbar on whatever the
1073 /// caret is in: the host asks
1074 /// [`focused_text_surface`](crate::widget_tree::WidgetTree::focused_text_surface)
1075 /// and either drives this surface or runs its own command. See
1076 /// [`crate::text_surface`] for the whole argument.
1077 ///
1078 /// Owned by the registering widget and torn down on its rebuild or destroy,
1079 /// like [`register_action_global`](Self::register_action_global). Calling it
1080 /// twice from one widget re-points rather than duplicating, so a rebuild
1081 /// that hands over a fresh handle is correct.
1082 pub fn register_text_surface(
1083 &mut self,
1084 surface: std::rc::Rc<dyn crate::text_surface::TextSurface>,
1085 ) {
1086 let id = self.self_id();
1087 self.tree.push_text_surface(id, surface);
1088 }
1089
1090 /// A cloneable view of this tree's registered text surfaces.
1091 ///
1092 /// Take it once, during `build`, and hold it: a view-model refreshed from a
1093 /// frame tick has no `&WidgetTree` to consult, and that is exactly when it
1094 /// needs to know whether the caret is in a text widget.
1095 pub fn text_surfaces(&self) -> crate::text_surface::TextSurfaces {
1096 self.tree.text_surfaces()
1097 }
1098
1099 /// Register a **window-global** [`Action`](crate::action::Action), owned by
1100 /// the widget being built. Unlike [`register_action`](Self::register_action)
1101 /// — which only fires when this widget is on the intent's source→root walk —
1102 /// a global action is consulted as a dispatch *fallback*, so it is reachable
1103 /// no matter where the intent originated: a menu-bar dropdown (which renders
1104 /// in an overlay, not under the registering widget), deep content, or a
1105 /// global shortcut anchored at the root when nothing is focused.
1106 ///
1107 /// This is the action-side counterpart to
1108 /// [`register_shortcut_global`](Self::register_shortcut_global): use it for
1109 /// app-wide commands (`app.save`, `view.toggle_sidebar`) whose handler lives
1110 /// at the app root but whose triggers (menu, toolbar, shortcut) are scattered
1111 /// across the tree and chrome. Ownership applies: the action is torn down
1112 /// when this widget rebuilds or is destroyed.
1113 pub fn register_action_global(&mut self, action: crate::action::Action) {
1114 let id = self.self_id();
1115 self.tree.push_global_action(id, action);
1116 }
1117
1118 /// Register a [`Shortcut`](crate::shortcut::Shortcut) in the
1119 /// tree's registry, owned by the widget being built.
1120 ///
1121 /// If the shortcut builder left `scope` at the default
1122 /// ([`ShortcutScope::Global`](crate::shortcut::ShortcutScope::Global)),
1123 /// this method rewrites it to `Scoped(self_id)` so the shortcut
1124 /// only fires when focus is inside the registering widget's
1125 /// subtree — the ergonomic default for widget-declared shortcuts.
1126 /// Callers that want an explicit global shortcut should use
1127 /// [`BuildContext::register_shortcut_global`] instead; callers
1128 /// that want to scope to a specific child should set
1129 /// `.scope_to(child_id)` on the builder themselves.
1130 ///
1131 /// Ownership: the shortcut is removed from the registry when the
1132 /// widget is destroyed or rebuilt. User overrides survive across
1133 /// rebuilds (graveyard semantics).
1134 pub fn register_shortcut(&mut self, mut shortcut: crate::shortcut::Shortcut) {
1135 let id = self.self_id();
1136 if shortcut.scope == crate::shortcut::ShortcutScope::Global {
1137 shortcut.scope = crate::shortcut::ShortcutScope::Scoped(id);
1138 }
1139 self.tree
1140 .shortcut_registry_mut()
1141 .register_owned(shortcut, id);
1142 }
1143
1144 /// Register a [`Shortcut`](crate::shortcut::Shortcut) with
1145 /// explicit global scope, owned by the widget being built. Unlike
1146 /// [`BuildContext::register_shortcut`], this does not rewrite the
1147 /// scope — the shortcut fires regardless of focus position.
1148 ///
1149 /// Ownership still applies: the shortcut is torn down when this
1150 /// widget goes away.
1151 pub fn register_shortcut_global(&mut self, mut shortcut: crate::shortcut::Shortcut) {
1152 let id = self.self_id();
1153 shortcut.scope = crate::shortcut::ShortcutScope::Global;
1154 self.tree
1155 .shortcut_registry_mut()
1156 .register_owned(shortcut, id);
1157 }
1158
1159 /// Register a global [`Shortcut`](crate::shortcut::Shortcut) that every
1160 /// instance of a widget declares together, with the widget being built
1161 /// among its owners. It stays registered while any of them lives. See
1162 /// [`ShortcutRegistry::register_shared`](crate::shortcut::ShortcutRegistry::register_shared).
1163 ///
1164 /// For a command each instance runs from an
1165 /// [`Action`](crate::action::Action) of its own, the way
1166 /// `RichTextEditor` runs bold: one binding for the user to change, and the
1167 /// focused instance, the start of the intent's walk, answers it.
1168 pub fn register_shortcut_shared(&mut self, mut shortcut: crate::shortcut::Shortcut) {
1169 let id = self.self_id();
1170 shortcut.scope = crate::shortcut::ShortcutScope::Global;
1171 self.tree
1172 .shortcut_registry_mut()
1173 .register_shared(shortcut, id);
1174 }
1175
1176 /// Pre-declare shortcuts on behalf of a not-yet-mounted child
1177 /// (e.g. a `Switcher` walking its `Pending` slots' static
1178 /// declarations before they're inserted). Each shortcut is owned
1179 /// by the *calling* widget and its declared scope is preserved
1180 /// as-is — unlike [`register_shortcut`](Self::register_shortcut),
1181 /// no rewrite from `Global` to `Scoped(self)` happens, because
1182 /// the child intended its own scope.
1183 ///
1184 /// When the child is eventually mounted, the framework's
1185 /// insert-time walk of `Widget::declare_shortcuts` re-registers
1186 /// the same ids owned by the *child*; the registry's idempotent
1187 /// upsert moves ownership cleanly. If the child never mounts, the
1188 /// pre-declared entries stay alive (owned by the parent) so
1189 /// settings UIs still see them, and they get torn down when the
1190 /// parent goes away.
1191 pub fn register_pending_shortcuts(
1192 &mut self,
1193 shortcuts: impl IntoIterator<Item = crate::shortcut::Shortcut>,
1194 ) {
1195 let id = self.self_id();
1196 let registry = self.tree.shortcut_registry_mut();
1197 for shortcut in shortcuts {
1198 registry.register_owned(shortcut, id);
1199 }
1200 }
1201
1202 /// Read-through access to the tree's shortcut registry. Consumers
1203 /// (menus, tooltips) look up the effective keystroke for a given
1204 /// id here, and observe
1205 /// [`ShortcutRegistry::version`](crate::shortcut::ShortcutRegistry::version)
1206 /// to refresh when the user rebinds.
1207 pub fn shortcut_registry(&self) -> &crate::shortcut::ShortcutRegistry {
1208 self.tree.shortcut_registry()
1209 }
1210
1211 /// Effective view of a shortcut by id, merged with any user
1212 /// override. Returns `None` when no default has been registered
1213 /// for `id`. Typical caller pattern: call from `paint()` so
1214 /// late-registered shortcuts are still picked up without a
1215 /// dedicated build-phase query.
1216 pub fn effective_shortcut<'b>(
1217 &'b self,
1218 id: &str,
1219 ) -> Option<crate::shortcut::EffectiveShortcut<'b>> {
1220 self.shortcut_registry().effective(id)
1221 }
1222
1223 /// Convenience accessor for the reactive version signal. Widgets
1224 /// that render shortcut-derived state (menu labels, tooltips)
1225 /// observe this so the UI refreshes when the user rebinds or a
1226 /// new shortcut is registered.
1227 pub fn shortcut_version(&self) -> &Signal<u64> {
1228 self.shortcut_registry().version()
1229 }
1230
1231 /// A reactive, **per-id** handle to a shortcut's effective primary
1232 /// keystroke — the granular alternative to [`Self::shortcut_version`].
1233 /// Bind this to render one shortcut's accelerator as a *leaf* value
1234 /// (a menu item's trailing label, a tooltip) that refreshes in place
1235 /// when the user rebinds *that* id, without observing — and rebuilding
1236 /// on — every unrelated registry mutation. The signal is created on
1237 /// first request, seeded with the current value, and kept live by the
1238 /// registry across register / unregister / rebind of that id.
1239 pub fn effective_shortcut_signal(
1240 &mut self,
1241 id: &'static str,
1242 ) -> Signal<Option<crate::shortcut::KeyStroke>> {
1243 self.tree
1244 .shortcut_registry_mut()
1245 .effective_primary_signal(id)
1246 }
1247
1248 /// Apply a `HandlerSet` to a child widget created during this build.
1249 /// Use this to attach event handlers to children without wrapping them
1250 /// in `WidgetWithHandlers`.
1251 pub fn apply_handlers(
1252 &mut self,
1253 id: crate::widget_id::WidgetId,
1254 handler_set: crate::widget_builder::HandlerSet,
1255 ) {
1256 // A composing parent attaches handlers to a child — from the
1257 // child's perspective these are external and must survive the
1258 // child's own rebuilds.
1259 self.tree.apply_external_handler_set(id, handler_set);
1260 }
1261
1262 /// The buttons the `on_tap` attached to `id` from outside answers to: the
1263 /// one added by its builder chain (`.on_tap(..)`) or by a composing
1264 /// parent's [`apply_handlers`](Self::apply_handlers). `None` when nothing
1265 /// outside attached an `on_tap` to it.
1266 ///
1267 /// The mask is the one that bucket declared with `accept_tap_buttons`,
1268 /// else the one declared beside the widget's own `on_tap` when the widget
1269 /// has none, else [`ButtonMask::PRIMARY`](crate::event::ButtonMask::PRIMARY)
1270 /// — the rule the node's tap recognizer applies.
1271 ///
1272 /// For a wrapper that routes one tap to several nodes: it reads the
1273 /// buttons its caller chose on the node it was given, and attaches the
1274 /// same tap with the same mask to a node inside it.
1275 pub fn attached_tap_buttons(
1276 &self,
1277 id: crate::widget_id::WidgetId,
1278 ) -> Option<crate::event::ButtonMask> {
1279 self.tree.attached_tap_buttons(id)
1280 }
1281
1282 /// Wire an accessibility `labelled_by` relation from an already-mounted
1283 /// child (`id`) to its label (`label_id`), so assistive tech announces the
1284 /// field by its visible label (WCAG 3.3.2 / EN 301 549 11.5.2.7). Unlike
1285 /// the `.access_labelled_by(..)` builder method, this operates *after* the
1286 /// child is mounted (so a container like `FormLayout` can pair a label and
1287 /// a boxed field once both ids are resolved) and preserves any
1288 /// accessibility overrides the child already carries.
1289 pub fn access_labelled_by(
1290 &mut self,
1291 id: crate::widget_id::WidgetId,
1292 label_id: crate::widget_id::WidgetId,
1293 ) {
1294 self.tree.push_access_labelled_by(id, label_id);
1295 }
1296
1297 /// The widget that paints `id`'s title, when it has one.
1298 ///
1299 /// A container names itself from its visible title by pointing at that
1300 /// node — see [`Widget::accessible_title_node`](crate::widget::Widget::accessible_title_node).
1301 /// `build()` runs eagerly on insertion, so the answer is already there
1302 /// the moment the content is mounted.
1303 pub fn accessible_title_node(
1304 &self,
1305 id: crate::widget_id::WidgetId,
1306 ) -> Option<crate::widget_id::WidgetId> {
1307 self.tree.widget_accessible_title_node(id)
1308 }
1309
1310 /// Wire an accessibility `described_by` relation from an already-mounted
1311 /// child (`id`) to a description/error node (`target_id`) — the
1312 /// post-mount, override-preserving counterpart of the
1313 /// `.access_described_by(..)` builder method (WCAG 3.3.1), whose docs say
1314 /// how the target's text reaches a screen reader: as `id`'s description,
1315 /// which the tree writes, since no AccessKit adapter reads the relation.
1316 pub fn access_described_by(
1317 &mut self,
1318 id: crate::widget_id::WidgetId,
1319 target_id: crate::widget_id::WidgetId,
1320 ) {
1321 self.tree.push_access_described_by(id, target_id);
1322 }
1323
1324 /// The id this subscription should carry: the one the previous build used at this
1325 /// same position, or a fresh one.
1326 ///
1327 /// ⚠ **Position is the whole matching rule**, and it is deliberate. The alternative
1328 /// — matching on the origin — cannot be written here: `origin` reaches the adapter
1329 /// as `Box<dyn Any>`, with no `Eq` and no `Hash` to compare it by, and requiring
1330 /// either would change every `EventSource` in existence. Position is stable for the
1331 /// shape widgets actually have, where `build()` runs the same subscribe calls in the
1332 /// same order every time.
1333 ///
1334 /// What a widget that subscribes *conditionally* gets: if the origin at position N
1335 /// differs between two builds, an event still in flight from the old origin is
1336 /// delivered to the new build's callback rather than being dropped. That is safe by
1337 /// construction rather than by luck — an app registers exactly one `EventSource`, so
1338 /// every subscription in the tree shares one origin type and one event type, and the
1339 /// payload downcast cannot mismatch. The callback receives the whole event and can
1340 /// read its origin, which is what `Origin::LongOperation(..)` handlers already do.
1341 fn next_subscription_id(
1342 &self,
1343 app_context: &crate::event_source::TreeAppContext,
1344 ) -> SubscriptionId {
1345 // `subscription_handles` is pushed to once per subscribe call and starts empty
1346 // for each build, so its length *is* this call's position within the build.
1347 self.reusable_sub_ids
1348 .get(self.subscription_handles.len())
1349 .copied()
1350 .unwrap_or_else(|| app_context.allocate_subscription_id())
1351 }
1352
1353 /// Subscribe to events from the registered application event source.
1354 /// The callback runs on the UI thread when the source publishes an
1355 /// event with a matching origin.
1356 ///
1357 /// The subscription is scoped to the current widget's lifetime: when
1358 /// the widget is rebuilt or destroyed, the framework drops the source
1359 /// handle (unregistering from the source) and removes the UI-side
1360 /// callback.
1361 ///
1362 /// It is scoped to the window it was registered from as well. A closing window's
1363 /// tree is dropped wholesale, with no per-widget destroy pass, so teksilo-app calls
1364 /// [`TreeAppContext::purge_subscriptions_for_window`](crate::event_source::TreeAppContext::purge_subscriptions_for_window)
1365 /// to drop the callbacks that window installed. A registration from a windowless
1366 /// tree (headless / tests) records no window, and only the per-widget path above
1367 /// removes such a callback.
1368 ///
1369 /// # Panics
1370 ///
1371 /// Panics if no event source has been registered on the
1372 /// `TeksiloAppBuilder`. In debug builds, also asserts that the `Origin`
1373 /// and `Event` types match the registered source.
1374 pub fn subscribe_event<O, E, F>(&mut self, origin: O, callback: F)
1375 where
1376 O: 'static,
1377 E: 'static,
1378 F: Fn(&E) + 'static,
1379 {
1380 use std::any::{Any, TypeId};
1381 use std::rc::Rc;
1382 use std::sync::Arc;
1383
1384 // Recorded so `TreeAppContext::purge_subscriptions_for_window` can drop this
1385 // entry when the window closes. A closing window's tree is dropped wholesale,
1386 // with no per-widget destroy pass, so nothing else ever reaches the entry and
1387 // the callback (plus everything it captured) would stay live for the rest of
1388 // the process. `None` from a windowless tree (headless / tests), which no
1389 // window purge touches. Mirrors `subscribe_event_with_ctx` below.
1390 let window_id = self.window().map(|w| w.id());
1391
1392 let app_context = self.tree.app_context.clone();
1393
1394 let adapter = app_context.event_source.as_ref().expect(
1395 "BuildContext::subscribe_event called but no event source was registered \
1396 on TeksiloAppBuilder. Call .event_source(source) on the builder first.",
1397 );
1398
1399 debug_assert_eq!(
1400 adapter.origin_type,
1401 TypeId::of::<O>(),
1402 "subscribe_event origin type mismatch: source uses {}, subscribe call used {}",
1403 adapter.origin_type_name,
1404 std::any::type_name::<O>(),
1405 );
1406 debug_assert_eq!(
1407 adapter.event_type,
1408 TypeId::of::<E>(),
1409 "subscribe_event event type mismatch: source uses {}, subscribe call used {}",
1410 adapter.event_type_name,
1411 std::any::type_name::<E>(),
1412 );
1413
1414 let sub_id = self.next_subscription_id(&app_context);
1415
1416 // The UI-side callback that runs after an event posted from the
1417 // source thread is delivered back to the UI thread. It downcasts
1418 // the type-erased payload back to `&E` and invokes the user's `F`.
1419 let stored_callback: Rc<dyn Fn(&dyn Any)> = Rc::new(move |event_any| {
1420 let event = event_any
1421 .downcast_ref::<E>()
1422 .expect("subscription event downcast failed — framework bug");
1423 callback(event);
1424 });
1425 app_context
1426 .subscription_callbacks
1427 .borrow_mut()
1428 .insert(sub_id, (window_id, stored_callback));
1429
1430 // Build the wrapper that the source will invoke from its
1431 // publisher thread. It carries only the sub_id (Copy) and an
1432 // Arc-clone of the poster (Send + Sync), boxes the typed event
1433 // as Any+Send, and posts an AppEvent::SubscriptionEvent through
1434 // the proxy. Tests that run without a registered poster post
1435 // events into a test queue and dispatch them back into the tree
1436 // via `tree.app_context().dispatch_subscription_event`.
1437 let poster = app_context
1438 .poster
1439 .as_ref()
1440 .expect(
1441 "BuildContext::subscribe_event called but no AppEventPoster \
1442 is installed on the tree. teksilo-app installs one when an \
1443 event source is registered on the builder; tests must \
1444 supply a TestPoster via TreeAppContext::with_source_and_poster.",
1445 )
1446 .clone();
1447 let wrapper: Arc<dyn Fn(Box<dyn Any + Send>) + Send + Sync> =
1448 Arc::new(move |erased_event| {
1449 poster.post_subscription_event(sub_id, erased_event);
1450 });
1451
1452 let handle = (adapter.subscribe_fn)(Box::new(origin), wrapper);
1453 self.subscription_handles.push((sub_id, handle));
1454 }
1455
1456 /// Like [`subscribe_event`](Self::subscribe_event), but the UI-side
1457 /// callback additionally receives a fresh
1458 /// [`EventContext`](crate::widget::EventContext) bound to this widget's
1459 /// window. That lets it react to a backend event *imperatively* — update /
1460 /// replace / dismiss a toast, present a modal, `send_intent`, navigate —
1461 /// none of which a plain (context-free) `subscribe_event` callback can do
1462 /// (it can only poke `Signal`s).
1463 ///
1464 /// This is the supported bridge for **long-operation progress**: a data
1465 /// layer's `Progress | Completed | Cancelled | Failed` event
1466 /// crosses from the operation's background thread to the UI thread and the
1467 /// callback drives an evolving progress toast (percentage in the body, a
1468 /// Cancel action, a success/error replacement on completion) — see the
1469 /// `toast_demo` example.
1470 ///
1471 /// The event is delivered on the UI thread through the same
1472 /// `AppEvent::SubscriptionEvent` path as `subscribe_event`; teksilo-app
1473 /// mints the `EventContext` from this widget's window tree just before the
1474 /// call (mirroring `teksilo-async`'s `spawn_local_with` completion path).
1475 /// The subscription is torn down with the widget, exactly like
1476 /// `subscribe_event`.
1477 ///
1478 /// The `<O, E>` type match against the registered event source is a
1479 /// `debug_assert` (as in [`subscribe_event`](Self::subscribe_event)); a
1480 /// mismatched call site in a release build is not caught here but panics
1481 /// later at the payload downcast.
1482 ///
1483 /// Registering from a windowless tree (headless / tests) is allowed but
1484 /// records `None` for the window — the app-side router then has no tree to
1485 /// mint an `EventContext` from and cannot deliver it, so such a subscription
1486 /// never fires in a running app. Ordinary application widgets always have a
1487 /// window; headless code that wants to observe events should use
1488 /// [`subscribe_event`](Self::subscribe_event) and drive `Signal`s instead.
1489 pub fn subscribe_event_with_ctx<O, E, F>(&mut self, origin: O, callback: F)
1490 where
1491 O: 'static,
1492 E: 'static,
1493 F: Fn(&E, &mut crate::widget::EventContext) + 'static,
1494 {
1495 use std::any::{Any, TypeId};
1496 use std::rc::Rc;
1497 use std::sync::Arc;
1498
1499 let window_id = self.window().map(|w| w.id());
1500
1501 let app_context = self.tree.app_context.clone();
1502
1503 let adapter = app_context.event_source.as_ref().expect(
1504 "BuildContext::subscribe_event_with_ctx called but no event source was registered \
1505 on TeksiloAppBuilder. Call .event_source(source) on the builder first.",
1506 );
1507
1508 debug_assert_eq!(
1509 adapter.origin_type,
1510 TypeId::of::<O>(),
1511 "subscribe_event_with_ctx origin type mismatch: source uses {}, subscribe call used {}",
1512 adapter.origin_type_name,
1513 std::any::type_name::<O>(),
1514 );
1515 debug_assert_eq!(
1516 adapter.event_type,
1517 TypeId::of::<E>(),
1518 "subscribe_event_with_ctx event type mismatch: source uses {}, subscribe call used {}",
1519 adapter.event_type_name,
1520 std::any::type_name::<E>(),
1521 );
1522
1523 // Re-used across this widget's rebuilds exactly as in `subscribe_event` — the
1524 // context-bearing path keeps its callbacks in a second map but crosses the very
1525 // same queue, so it loses in-flight events the very same way. See
1526 // [`Self::next_subscription_id`].
1527 let sub_id = self.next_subscription_id(&app_context);
1528
1529 // The UI-side callback, invoked after an event posted from the source
1530 // thread is delivered back to the UI thread and a fresh `EventContext`
1531 // has been minted. Downcasts the type-erased payload back to `&E` and
1532 // forwards it plus the context to the user's `F`. Stored behind `Rc` so
1533 // dispatch can drop the map borrow before invoking it (re-entrancy).
1534 let stored_callback: Rc<dyn Fn(&dyn Any, &mut crate::widget::EventContext)> =
1535 Rc::new(move |event_any, ctx| {
1536 let event = event_any
1537 .downcast_ref::<E>()
1538 .expect("subscription event downcast failed — framework bug");
1539 callback(event, ctx);
1540 });
1541 app_context
1542 .subscription_ctx_callbacks
1543 .borrow_mut()
1544 .insert(sub_id, (window_id, stored_callback));
1545
1546 // Same publisher-thread wrapper as `subscribe_event`: carry only the
1547 // sub_id (Copy) + an Arc-clone of the poster, box the typed event, and
1548 // post an `AppEvent::SubscriptionEvent`. The dispatch side (teksilo-app)
1549 // routes context-bearing sub_ids through the fresh-`EventContext` path.
1550 let poster = app_context
1551 .poster
1552 .as_ref()
1553 .expect(
1554 "BuildContext::subscribe_event_with_ctx called but no AppEventPoster \
1555 is installed on the tree. teksilo-app installs one when an \
1556 event source is registered on the builder.",
1557 )
1558 .clone();
1559 let wrapper: Arc<dyn Fn(Box<dyn Any + Send>) + Send + Sync> =
1560 Arc::new(move |erased_event| {
1561 poster.post_subscription_event(sub_id, erased_event);
1562 });
1563
1564 let handle = (adapter.subscribe_fn)(Box::new(origin), wrapper);
1565 self.subscription_handles.push((sub_id, handle));
1566 }
1567}
1568
1569#[cfg(test)]
1570mod effect_tests {
1571 use super::*;
1572 use crate::widget::{LayoutContext, Widget};
1573 use crate::widget_id::WidgetId;
1574 use crate::widget_tree::WidgetTree;
1575 use teksilo_canvas::SizeProposal;
1576
1577 /// A leaf widget that registers an effect on one signal to mirror its
1578 /// value into another. Produces no children.
1579 #[derive(Debug)]
1580 struct LeafWithEffect {
1581 source: Signal<i32>,
1582 mirror: Signal<i32>,
1583 }
1584
1585 impl Widget for LeafWithEffect {
1586 fn build(&mut self, ctx: &mut BuildContext) -> Vec<WidgetId> {
1587 let mirror = self.mirror.clone();
1588 ctx.effect(&self.source, move |v| mirror.set(*v));
1589 Vec::new()
1590 }
1591
1592 fn layout_response(
1593 &self,
1594 proposal: SizeProposal,
1595 _ctx: &LayoutContext,
1596 ) -> crate::widget::LayoutResponse {
1597 proposal.resolve(0.0, 0.0).into()
1598 }
1599 }
1600
1601 /// A widget that observes the per-frame tick signal and accumulates the
1602 /// deltas it receives into a shared counter, so a test can verify both
1603 /// that the tick fires at all and that the delta value is non-zero.
1604 #[derive(Debug)]
1605 struct FrameTickListener {
1606 ticks: Signal<u32>,
1607 last_delta: Signal<f32>,
1608 }
1609
1610 impl Widget for FrameTickListener {
1611 fn build(&mut self, ctx: &mut BuildContext) -> Vec<WidgetId> {
1612 let ticks = self.ticks.clone();
1613 let last_delta = self.last_delta.clone();
1614 let tick = ctx.frame_tick();
1615 ctx.effect(&tick, move |delta| {
1616 ticks.set(ticks.get() + 1);
1617 last_delta.set(*delta);
1618 });
1619 Vec::new()
1620 }
1621
1622 fn layout_response(
1623 &self,
1624 proposal: SizeProposal,
1625 _ctx: &LayoutContext,
1626 ) -> crate::widget::LayoutResponse {
1627 proposal.resolve(0.0, 0.0).into()
1628 }
1629 }
1630
1631 #[test]
1632 fn frame_tick_stays_silent_until_explicit_request() {
1633 // The draw-when-needed contract: a widget that merely observes
1634 // frame_tick must NOT keep the tree awake. Only an explicit
1635 // `request_frame()` call pumps a tick.
1636 let mut tree = WidgetTree::new();
1637 let ticks = Signal::new(0_u32);
1638 let last_delta = Signal::new(-1.0_f32);
1639 tree.add(FrameTickListener {
1640 ticks: ticks.clone(),
1641 last_delta: last_delta.clone(),
1642 });
1643
1644 // Flush the initial layout-dirty flag from widget insertion.
1645 tree.layout(teksilo_canvas::SizeProposal::exact(400.0, 300.0));
1646 assert!(
1647 !tree.frame_requested(),
1648 "observing frame_tick does not set the request flag"
1649 );
1650
1651 tree.tick_animations(std::time::Duration::from_millis(16));
1652 assert_eq!(
1653 ticks.get(),
1654 0,
1655 "an un-requested tick_animations must not fire frame_tick observers"
1656 );
1657 assert_eq!(last_delta.get(), -1.0);
1658 }
1659
1660 #[test]
1661 fn frame_tick_fires_once_per_request() {
1662 let mut tree = WidgetTree::new();
1663 let ticks = Signal::new(0_u32);
1664 let last_delta = Signal::new(-1.0_f32);
1665 let id = tree.add(FrameTickListener {
1666 ticks: ticks.clone(),
1667 last_delta: last_delta.clone(),
1668 });
1669
1670 // Flush initial layout-dirty flag so assertions reflect only
1671 // the frame-tick contract.
1672 tree.layout(teksilo_canvas::SizeProposal::exact(400.0, 300.0));
1673
1674 tree.request_frame();
1675 assert!(tree.needs_redraw(), "explicit request marks the tree dirty");
1676 assert!(tree.frame_requested());
1677
1678 tree.tick_animations(std::time::Duration::from_millis(16));
1679 assert_eq!(ticks.get(), 1);
1680 assert!((last_delta.get() - 0.016).abs() < 0.001);
1681 assert!(
1682 !tree.frame_requested(),
1683 "request flag must be cleared after the tick fired"
1684 );
1685
1686 // Second request fires exactly one more tick.
1687 tree.request_frame();
1688 tree.tick_animations(std::time::Duration::from_millis(16));
1689 assert_eq!(ticks.get(), 2);
1690
1691 // Without a request, further ticks silently advance time.
1692 tree.tick_animations(std::time::Duration::from_millis(16));
1693 assert_eq!(ticks.get(), 2);
1694
1695 tree.destroy_subtree(id);
1696 tree.request_frame();
1697 tree.tick_animations(std::time::Duration::from_millis(16));
1698 assert_eq!(
1699 ticks.get(),
1700 2,
1701 "destroyed widget's observer must not resurrect"
1702 );
1703 }
1704
1705 #[test]
1706 fn frame_tick_delta_clamped_against_huge_pauses() {
1707 let mut tree = WidgetTree::new();
1708 let ticks = Signal::new(0_u32);
1709 let last_delta = Signal::new(-1.0_f32);
1710 tree.add(FrameTickListener {
1711 ticks: ticks.clone(),
1712 last_delta: last_delta.clone(),
1713 });
1714
1715 tree.request_frame();
1716 tree.tick_animations(std::time::Duration::from_secs(5));
1717 assert_eq!(ticks.get(), 1);
1718 assert!(
1719 (last_delta.get() - 0.1).abs() < 1e-4,
1720 "frame delta must clamp at 0.1s even after a multi-second pause"
1721 );
1722 }
1723
1724 #[test]
1725 fn leaf_widget_effect_fires_and_is_cleaned_up_on_destroy() {
1726 // Regression guard: before the insert_widget / add_child fix,
1727 // effect_handles for a leaf widget (Vec::new() from build()) were
1728 // dropped the moment BuildContext went out of scope, silently
1729 // unregistering the observer. After the fix, the handle is
1730 // transferred to the arena node and the effect fires on signal
1731 // changes until the widget is destroyed.
1732 let mut tree = WidgetTree::new();
1733 let source = Signal::new(0_i32);
1734 let mirror = Signal::new(0_i32);
1735
1736 let id = tree.add(LeafWithEffect {
1737 source: source.clone(),
1738 mirror: mirror.clone(),
1739 });
1740
1741 // The effect should be live after insertion.
1742 source.set(42);
1743 assert_eq!(
1744 mirror.get(),
1745 42,
1746 "leaf widget effect must survive build() and fire on signal change"
1747 );
1748
1749 source.set(7);
1750 assert_eq!(mirror.get(), 7);
1751
1752 // Destroying the widget drops its effect_handles, which in turn
1753 // drops each ObserverHandle and unregisters the observer.
1754 tree.destroy_subtree(id);
1755 source.set(100);
1756 assert_eq!(
1757 mirror.get(),
1758 7,
1759 "effect must be unregistered after widget destruction"
1760 );
1761 }
1762}
1763
1764#[cfg(test)]
1765mod focus_into_tests {
1766 use super::*;
1767 use crate::widget::{LayoutContext, Widget};
1768 use crate::widget_builder::HandlerSet;
1769 use crate::widget_id::WidgetId;
1770 use crate::widget_tree::WidgetTree;
1771 use teksilo_canvas::SizeProposal;
1772
1773 /// A leaf that is focusable when asked, so the walk has something real to
1774 /// find — or nothing at all.
1775 #[derive(Debug)]
1776 struct Leaf {
1777 focusable: bool,
1778 }
1779
1780 impl Widget for Leaf {
1781 fn build(&mut self, ctx: &mut BuildContext) -> Vec<WidgetId> {
1782 if self.focusable {
1783 ctx.apply_self_handlers(HandlerSet::new().focusable(true));
1784 }
1785 Vec::new()
1786 }
1787 fn layout_response(
1788 &self,
1789 proposal: SizeProposal,
1790 _ctx: &LayoutContext,
1791 ) -> crate::widget::LayoutResponse {
1792 proposal.resolve(10.0, 10.0).into()
1793 }
1794 }
1795
1796 /// Holds `focusable` focusable leaves and publishes their ids.
1797 #[derive(Debug)]
1798 struct Panel {
1799 focusable: usize,
1800 leaves: Signal<Vec<WidgetId>>,
1801 }
1802
1803 impl Widget for Panel {
1804 fn build(&mut self, ctx: &mut BuildContext) -> Vec<WidgetId> {
1805 let kids: Vec<WidgetId> = (0..2)
1806 .map(|i| {
1807 ctx.add(Leaf {
1808 focusable: i < self.focusable,
1809 })
1810 })
1811 .collect();
1812 self.leaves.set(kids.clone());
1813 kids
1814 }
1815 fn layout_response(
1816 &self,
1817 proposal: SizeProposal,
1818 _ctx: &LayoutContext,
1819 ) -> crate::widget::LayoutResponse {
1820 proposal.resolve(10.0, 10.0).into()
1821 }
1822 }
1823
1824 /// Calls `focus_into(panel)` on every one of *its own* builds, which is how
1825 /// a composing widget uses it. Rebuilt on demand through `tick` — and
1826 /// rebuilding it leaves the panel and its leaves alive, which is the whole
1827 /// point: that is the situation the idempotence has to survive.
1828 #[derive(Debug)]
1829 struct Driver {
1830 panel: Signal<Option<WidgetId>>,
1831 tick: Signal<u64>,
1832 moved: Signal<bool>,
1833 }
1834
1835 impl Widget for Driver {
1836 fn build(&mut self, ctx: &mut BuildContext) -> Vec<WidgetId> {
1837 self.tick.bind_to(
1838 ctx.self_id(),
1839 ctx.binding_registry(),
1840 crate::binding::BindingLevel::Rebuild,
1841 );
1842 if let Some(panel) = self.panel.get() {
1843 let moved = ctx.focus_into(panel);
1844 self.moved.set(moved);
1845 }
1846 Vec::new()
1847 }
1848 fn layout_response(
1849 &self,
1850 proposal: SizeProposal,
1851 _ctx: &LayoutContext,
1852 ) -> crate::widget::LayoutResponse {
1853 proposal.resolve(0.0, 0.0).into()
1854 }
1855 }
1856
1857 struct Probe {
1858 tree: WidgetTree,
1859 leaves: Vec<WidgetId>,
1860 tick: Signal<u64>,
1861 moved: Signal<bool>,
1862 }
1863
1864 impl Probe {
1865 fn rebuild_driver(&mut self) {
1866 self.tick.set(self.tick.get() + 1);
1867 self.tree.layout(SizeProposal::exact(100.0, 100.0));
1868 }
1869 }
1870
1871 /// A panel with `focusable` focusable leaves, plus a sibling driver that
1872 /// calls `focus_into` on it from `build`. `outside` is focusable and lives
1873 /// outside the panel, so "focus did not move" is observable.
1874 fn probe(focusable: usize) -> (Probe, WidgetId) {
1875 let leaves = Signal::new(Vec::new());
1876 let panel_id = Signal::new(None);
1877 let tick = Signal::new(0_u64);
1878 let moved = Signal::new(false);
1879
1880 let mut tree = WidgetTree::new();
1881 let outside = tree.add(Leaf { focusable: true });
1882 let panel = tree.add(Panel {
1883 focusable,
1884 leaves: leaves.clone(),
1885 });
1886 panel_id.set(Some(panel));
1887 tree.add(Driver {
1888 panel: panel_id,
1889 tick: tick.clone(),
1890 moved: moved.clone(),
1891 });
1892 tree.layout(SizeProposal::exact(100.0, 100.0));
1893 (
1894 Probe {
1895 tree,
1896 leaves: leaves.get(),
1897 tick,
1898 moved,
1899 },
1900 outside,
1901 )
1902 }
1903
1904 /// It lands on the first focusable descendant, not on the container.
1905 #[test]
1906 fn focus_into_lands_on_the_first_focusable_descendant() {
1907 let (p, _) = probe(2);
1908 assert!(p.moved.get());
1909 assert_eq!(p.tree.focused(), Some(p.leaves[0]));
1910 }
1911
1912 /// **It is a no-op while focus is already inside** — the property that lets
1913 /// it be called from `build`, which re-runs on every rebuild. A bare
1914 /// `focus` on the first focusable descendant would drag focus back to the
1915 /// first field every time the caller rebuilt for an unrelated reason, which
1916 /// mid-edit is the caret jumping to the start of the line.
1917 #[test]
1918 fn focus_into_leaves_focus_alone_when_it_is_already_inside() {
1919 let (mut p, _) = probe(2);
1920 p.tree.focus(p.leaves[1]);
1921 p.rebuild_driver();
1922 assert!(p.moved.get(), "focus is inside, so the answer is still yes");
1923 assert_eq!(
1924 p.tree.focused(),
1925 Some(p.leaves[1]),
1926 "focus was dragged back to the first focusable child"
1927 );
1928 }
1929
1930 /// A subtree with nothing focusable leaves focus exactly where it was: an
1931 /// empty region never traps it, and the caller is told so.
1932 #[test]
1933 fn focus_into_an_unfocusable_subtree_moves_nothing() {
1934 let (mut p, outside) = probe(0);
1935 p.tree.focus(outside);
1936 p.rebuild_driver();
1937 assert!(!p.moved.get());
1938 assert_eq!(p.tree.focused(), Some(outside));
1939 }
1940}