teksilo_widgets/

menu_item.rs

// SPDX-License-Identifier: MPL-2.0
// SPDX-FileCopyrightText: 2026 FernTech

//! MenuItem — a single command row in a menu or context menu.
//!
//! Each item consists of an optional leading icon, a label, an optional
//! trailing shortcut label, and an activation closure. `MenuItem` is
//! non-generic: actions are type-erased closures identical to `Button`'s
//! `on_activate_fn` model. Submenus are declared with `MenuItem::submenu`
//! — the factory builds the nested `MenuList` lazily at hover time.
//!
//! Every item operates in one of three **modes** selected by builder methods:
//!
//! | Builder | AT Role | Leading glyph |
//! |---|---|---|
//! | (default) | `Role::MenuItem` | icon or blank |
//! | `.checked(signal)` | `Role::MenuItemCheckBox` | checkmark / blank |
//! | `.check_state(signal)` | `Role::MenuItemCheckBox` | check / dash / blank |
//! | `.reflect_checked(signal)` | `Role::MenuItemCheckBox` | checkmark (read-only) |
//! | `.radio(value, selected)` | `Role::MenuItemRadio` | filled dot / blank |
//!
//! Check and radio modes are mutually exclusive with `.icon(...)` — the
//! Windows convention reserves the leading slot for state glyphs on
//! checkable items; a `debug_assert!` fires when both are set.
//!
//! ## An icon that keeps its own colour
//!
//! `.icon(...)` recolours whatever it is handed with the row's text role, so the
//! glyph follows hover, press and disabled alongside the label. That is right for
//! an icon that says the same thing as the label, and wrong for one whose colour
//! *is* the content — a tag's swatch, a status light, a colour a person chose.
//!
//! `.icon_keeps_color()` leaves it alone. Two costs come with it: the icon no
//! longer follows the highlight (on a style whose highlighted row is a solid
//! accent fill, it has to carry its own contrast against that fill), and a
//! *literal* colour does not dim in a disabled row — `ColorProp::Static` and
//! `Bound` ignore the enabled state, while every role variant substitutes its
//! disabled counterpart. An icon that should dim wants a role, and then it does
//! not want this at all.
//!
//! ```rust
//! # use teksilo_widgets::{MenuItem, primitives::IconWidget};
//! # use teksilo_canvas::{Path, Point};
//! # use teksilo_i18n::lit;
//! # use teksilo_tokens::Color;
//! let swatch = IconWidget::from_path(Path::circle(Point::new(5.0, 5.0), 4.5), 10.0)
//!     .color(Color::from_hex("#e91e63"));
//! let _w = MenuItem::new(lit!("Characters"))
//!     .icon(swatch)
//!     .icon_keeps_color();
//! ```
//!
//! **Mnemonic markers** use the in-string `&` convention (`&Save` →
//! underline 'S' when Alt is held; `&&` → literal `&`). The enclosing
//! `MenuList` wires bare-letter in-menu activation automatically.
//!
//! ```rust
//! # use teksilo_widgets::MenuItem;
//! # use teksilo_i18n::lit;
//! # use teksilo_core::Intent;
//! let _w = MenuItem::new(lit!("&Save"))
//!     .on_activate_fn(|ctx| ctx.send_intent(Intent::new("app.save")));
//! ```

use std::rc::Rc;
use std::time::Duration;
use teksilo_data::CheckState;
use teksilo_i18n::lit;

use teksilo_canvas::{Rect, Size, SizeProposal};
use teksilo_core::accessibility::AccessNodeBuilder;
use teksilo_core::build_context::BuildContext;
use teksilo_core::event::{EventResponse, Key, WidgetEvent};
use teksilo_core::overlay::{DismissBehavior, OverlayLayer, OverlayPlacement, OverlayRequest};
use teksilo_core::shortcut::KeyStroke;
use teksilo_core::signal::{Prop, Signal};
use teksilo_core::styles::{MenuItemStyleConfig, SharedMenuItemStyle};
use teksilo_core::widget::{CursorIcon, EventContext, LayoutContext, Widget, WidgetPlacement};
use teksilo_core::widget_builder::HandlerSet;
use teksilo_core::widget_id::WidgetId;
use teksilo_tokens::{TextRole, TextStyleRole};

use crate::keystroke_format::format_keystroke;
use crate::primitives::{HStack, IconWidget, Spacer, Switcher, TextWidget};
use teksilo_i18n::LocalizedString;

mod menu_label;
mod mnemonic;
mod safe_triangle;
pub(crate) use menu_label::MenuLabel;
pub(crate) use mnemonic::{ParsedMnemonic, parse_mnemonic};
pub(crate) use safe_triangle::point_in_safe_triangle;

/// Type-erased command factory. Stored as `Rc` (not `Box`) so the closure
/// can be cloned and shared — in particular with SplitButton, which reads
/// the action out of a MenuItem via `MenuItem::action()` and re-fires it
/// from its main region without disturbing the MenuItem's own use of it.
type CommandFactory = Rc<dyn Fn(&mut EventContext)>;

/// Interaction state for a menu item.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
enum MenuItemState {
    Idle,
    Hovered,
    Pressed,
    Disabled,
}

/// Default delay before a submenu opens on hover (400 ms — IntelliJ's value).
/// This delay also provides diagonal movement tolerance: when the pointer
/// crosses other menu items while moving toward a submenu, those items
/// don't open their submenus because the delay hasn't elapsed yet. 400 ms
/// is long enough that a casual sweep past a submenu trigger doesn't
/// accidentally open it, but short enough that a deliberate hover feels
/// responsive.
const DEFAULT_SUBMENU_OPEN_DELAY: Duration = Duration::from_millis(400);
const DEFAULT_SUBMENU_CLOSE_DELAY: Duration = Duration::from_millis(150);

/// Glyph size for the check / dash / radio-dot rendered in the
/// 16dp `MENU_ICON_COLUMN_WIDTH` leading slot. 12dp matches the
/// existing `chevron_right(12.0)` used for submenu triggers.
const MENU_INDICATOR_GLYPH_SIZE: f32 = 12.0;

/// Internal selection mode of a `MenuItem`. `Plain` is the default
/// and produces `Role::MenuItem`. `Check` swaps the leading-slot
/// icon for a checkmark (binary) or check/dash/spacer (tri-state)
/// and emits `Role::MenuItemCheckBox`. `Radio` swaps the leading
/// slot for a filled dot when the radio group's `selected` signal
/// matches `value` and emits `Role::MenuItemRadio`.
///
/// The state signals are kept here unboxed so `accessibility()`
/// can read the current value cheaply via `Signal::get()`.
enum MenuItemMode {
    Plain,
    Check(CheckKind),
    Radio {
        value: usize,
        selected: Signal<usize>,
    },
}

/// Internal dual-mode for checkable items — mirrors `Checkbox`'s
/// internal `CheckKind` exactly so MenuItem and Checkbox behave
/// identically when they share the same `Signal<bool>` /
/// `Signal<CheckState>`.
enum CheckKind {
    TwoState(Signal<bool>),
    TriState(Signal<CheckState>),
    /// Reflect-only: the checkmark mirrors `state`, but activation does **not**
    /// write it — the bound value's truth lives elsewhere (a model / method) and
    /// the item's `on_activate`/intent is solely responsible for changing it.
    /// The classic "View ▸ Sidebar / Full Screen" pattern, where the check
    /// follows layout state the menu doesn't own. Renders identically to
    /// `TwoState`; differs only in that clicking has no built-in toggle.
    Reflect(Prop<bool>),
}

/// A single command row in a `MenuList` or context menu.
///
/// See the module documentation for the full mode table, mnemonic syntax, and
/// submenu construction pattern.
pub struct MenuItem {
    label: LocalizedString,
    icon: Option<IconWidget>,
    /// Leave the icon's own colour alone instead of tinting it with the row's
    /// text role — see [`MenuItem::icon_keeps_color`].
    icon_keeps_color: bool,
    shortcut_label: Option<String>,
    /// A trailing *descriptive* phrase — not an accelerator. Unlike
    /// `shortcut_label` this stays a [`LocalizedString`], so it re-resolves
    /// on a live locale change, and it is announced as the item's
    /// accessible *description* rather than its keyboard shortcut.
    trailing_hint: Option<LocalizedString>,
    /// Optional shortcut id. When set and `shortcut_label` is not, the
    /// rendered trailing label is pulled from the tree's
    /// [`ShortcutRegistry`](teksilo_core::shortcut::ShortcutRegistry) and
    /// tracks user rebindings automatically — reactively, via a *per-id*
    /// signal (see `shortcut_signal`), so a rebind refreshes the chord in
    /// place instead of rebuilding the whole item.
    shortcut_id: Option<&'static str>,
    tooltip_text: Option<LocalizedString>,
    rich_tooltip_source: Option<crate::tooltip::RichTooltipSource>,
    composite_tooltip_content: Option<Box<dyn teksilo_core::widget::Widget>>,
    action: Option<CommandFactory>,
    /// Enabled-state (static or signal-bound); forwarded to the arena at build
    /// time via `enabled_when`, so a bound signal disables/enables the item
    /// reactively (paint and AT follow). Cursor stays `Pointer` — see
    /// the cursor assignment in `build` for why it is not derived from this.
    enabled: Prop<bool>,
    /// Plain / Check / Radio — see [`MenuItemMode`].
    mode: MenuItemMode,
    /// Sibling ids for radio-group AT announcement. Set by
    /// [`MenuList::build`](crate::menu_list::MenuList::build) on
    /// every radio-mode item that shares a `Signal<usize>` with
    /// other items in the same list, via
    /// `set_radio_group_ids(...)`. Used in `accessibility()` to
    /// emit `push_to_radio_group(sibling_id)` so AT announces
    /// "Theme Dark, 2 of 3". Empty for non-radio items and for
    /// solitary radio items.
    radio_group_ids: Option<Rc<std::cell::RefCell<Vec<WidgetId>>>>,
    submenu_factory: Option<Box<dyn Fn() -> Box<dyn Widget>>>,
    submenu_open_delay: Duration,
    // Build state
    interaction: Signal<MenuItemState>,
    /// Whether this item's submenu overlay is currently visible.
    /// Flipped to `true` by every open path (tap, hover, Enter,
    /// ArrowRight) and flipped back to `false` by the overlay
    /// manager's `on_dismiss` callback — regardless of dismiss
    /// path. `accessibility()` reads this for `set_expanded`.
    /// Only meaningful when `submenu_factory.is_some()`.
    submenu_open: Signal<bool>,
    /// "This submenu has been wanted at least once" — the reveal gate for its
    /// deferred content. Distinct from `submenu_open`, which is the disclosure
    /// state AT reads and the chevron follows: the hover path schedules a
    /// *delayed* overlay and must have the content built before the delay
    /// matures, while the item is not yet open.
    submenu_needed: Signal<bool>,
    /// Live per-id handle to the effective primary keystroke for
    /// `shortcut_id`, obtained in `build()` from
    /// [`BuildContext::effective_shortcut_signal`]. The trailing label
    /// binds it (leaf-level, so a rebind repaints in place and the item
    /// is never rebuilt on registry churn), and `accessibility()` reads
    /// it live so screen readers announce the current chord. `None` for
    /// items with a manual `shortcut_label` or no shortcut at all.
    shortcut_signal: Option<Signal<Option<KeyStroke>>>,
    /// Per-call override for the label's text style (font, size, weight).
    /// `None` ⇒ the default `TextStyleRole::Body`.
    label_style: Option<teksilo_core::color_prop::TextStyleProp>,
    /// Per-call override for the label text color. `None` ⇒ the
    /// interaction/enabled-derived cascade (hover / disabled). Setting
    /// this replaces the cascade (loses the hover/disabled tint), so use
    /// it only when a host enforces a fixed text role.
    text_role_override: Option<teksilo_core::color_prop::ColorProp>,
    /// Per-call style override. When `None`, falls back to the
    /// theme-wide slot (`theme.style_slots.menu_item`) and finally to
    /// the IntUI default `RecipeMenuItemStyle`.
    style_override: Option<SharedMenuItemStyle>,
    root_child_id: Option<WidgetId>,
    submenu_content_id: Option<WidgetId>,
    /// Parsed mnemonic from the label, captured during `build()`. The
    /// enclosing [`MenuList`](crate::menu_list::MenuList) reads this
    /// to wire in-menu mnemonic activation (bare-letter Alt
    /// shortcut) and the keyboard-driven type-ahead.
    parsed_mnemonic: Option<ParsedMnemonic>,
    /// Shared safe-triangle state owned by the enclosing
    /// [`MenuList`](crate::menu_list::MenuList). Submenu triggers
    /// write to it on hover-enter (stamp the anchor); sibling items
    /// read it before firing their hover-switch so a diagonal
    /// pointer trajectory toward the open submenu doesn't steal
    /// focus. `None` for items that haven't been adopted by a
    /// MenuList (e.g. solo menu items in tests).
    safe_triangle: Option<crate::menu_list::SharedSafeTriangleState>,
}

impl MenuItem {
    /// Create a plain menu item with the given label and no action yet.
    pub fn new(label: impl Into<LocalizedString>) -> Self {
        let ls: LocalizedString = label.into();
        Self {
            label: ls,
            icon: None,
            icon_keeps_color: false,
            shortcut_label: None,
            trailing_hint: None,
            shortcut_id: None,
            tooltip_text: None,
            rich_tooltip_source: None,
            composite_tooltip_content: None,
            action: None,
            enabled: Prop::Static(true),
            mode: MenuItemMode::Plain,
            radio_group_ids: None,
            submenu_factory: None,
            submenu_open_delay: DEFAULT_SUBMENU_OPEN_DELAY,
            interaction: Signal::new(MenuItemState::Idle),
            submenu_open: Signal::new(false),
            submenu_needed: Signal::new(false),
            shortcut_signal: None,
            label_style: None,
            text_role_override: None,
            style_override: None,
            root_child_id: None,
            submenu_content_id: None,
            parsed_mnemonic: None,
            safe_triangle: None,
        }
    }

    /// Closure invoked on activation.
    /// Note: shortcut label auto-lookup is not available with this variant
    /// since there is no typed command to look up.
    pub fn on_activate_fn(mut self, f: impl Fn(&mut EventContext) + 'static) -> Self {
        self.action = Some(Rc::new(f));
        self
    }

    /// Read the item's display label. Exposed so SplitButton (and any other
    /// compound widget that embeds a MenuItem) can mirror the label in its
    /// own chrome.
    pub fn label(&self) -> String {
        self.label.resolve_now()
    }

    /// Like [`label`](Self::label) but returns the unresolved
    /// [`LocalizedString`], so embedders can mirror the label *reactively*
    /// (re-resolving on a locale switch) instead of freezing a snapshot.
    pub fn label_localized(&self) -> LocalizedString {
        self.label.clone()
    }

    /// Clone out a shared handle to the activation closure. Returns `None`
    /// when this MenuItem has no action (e.g. it's a submenu trigger). The
    /// returned `Rc` aliases MenuItem's own internal handle — invoking it
    /// has the same effect as the user clicking this menu item (minus the
    /// overlay dismissal that the tap handler also performs).
    pub fn action(&self) -> Option<Rc<dyn Fn(&mut EventContext)>> {
        self.action.clone()
    }

    /// Set a leading icon.
    pub fn icon(mut self, icon: IconWidget) -> Self {
        self.icon = Some(icon);
        self
    }

    /// Keep the icon's **own** colour rather than tinting it with the row's.
    ///
    /// A menu icon normally says the same thing as the label beside it, so it takes
    /// the row's text role and follows it through hover, press and disabled — which
    /// is why [`icon`](Self::icon) recolours whatever it is handed. Some icons are
    /// not that. A tag's swatch, a status light, a colour a person chose: there the
    /// colour *is* the content, and tinting it to the menu's foreground deletes the
    /// only thing the icon was there to say.
    ///
    /// Opt-in, because the default is right for nearly every row, and keeping a
    /// colour has two costs the caller takes on:
    ///
    /// * **It does not follow the highlight.** On a style whose highlighted row is a
    ///   solid accent fill (the macOS recipe), the icon has to carry its own contrast
    ///   against that fill as well as against the menu's surface.
    /// * **It does not dim when the row is disabled** — if it is a literal colour.
    ///   That is [`ColorProp`](teksilo_core::ColorProp)'s own rule everywhere, not a
    ///   special case here: `Static` and `Bound` ignore the enabled state, while every
    ///   role variant substitutes its disabled counterpart. An icon that should dim
    ///   should be given a role instead, and then it does not need this at all.
    ///
    /// Ignored in the check and radio modes, which draw an indicator glyph of the
    /// framework's own rather than the caller's icon.
    pub fn icon_keeps_color(mut self) -> Self {
        self.icon_keeps_color = true;
        self
    }

    /// Set a trailing shortcut label (e.g., "Ctrl+X"). Shortcut labels are
    /// typically not translated (they're the key combination literal), so
    /// this accepts a plain string.
    pub fn shortcut_label(mut self, label: impl Into<String>) -> Self {
        self.shortcut_label = Some(label.into());
        self
    }

    /// Set a trailing *descriptive* hint (e.g. "inside", "after parent") —
    /// a secondary phrase explaining what the item will do, rendered in the
    /// same trailing slot as an accelerator but semantically unrelated to one.
    ///
    /// Prefer this over [`shortcut_label`](Self::shortcut_label) for any
    /// trailing text that is not a key combination. It differs in two ways
    /// that matter:
    ///
    /// * it takes a [`LocalizedString`], so a `tr!(...)` hint re-resolves on
    ///   a live locale change instead of being frozen at build time;
    /// * it is announced as the item's accessible **description**, not as
    ///   `keyboard_shortcut` — a screen reader would otherwise read the
    ///   phrase out as if it were a chord to press.
    ///
    /// Independent of the accelerator: an item may carry both, in which case
    /// the chord renders first and the hint follows it.
    pub fn trailing_hint(mut self, text: impl Into<LocalizedString>) -> Self {
        self.trailing_hint = Some(text.into());
        self
    }

    /// Bind the trailing shortcut label to a registered
    /// [`Shortcut`](teksilo_core::shortcut::Shortcut) by its stable id.
    /// At build time the effective primary keystroke is rendered;
    /// rebinds performed through
    /// [`ShortcutRegistry`](teksilo_core::shortcut::ShortcutRegistry)
    /// rebuild this item automatically via the registry's version
    /// signal.
    ///
    /// A manual [`shortcut_label`](Self::shortcut_label) takes
    /// precedence when both are set.
    pub fn for_shortcut(mut self, id: &'static str) -> Self {
        self.shortcut_id = Some(id);
        self
    }

    /// Set the enabled state — static or signal-bound. A bound `Signal<bool>`
    /// enables/disables the item reactively (paint and AT follow), so
    /// `MenuItem::new(...).enabled(can_save_signal)` greys out live without a
    /// rebuild. Cursor is always `Pointer` (see `build`); disabled items are
    /// gated by the arena before hover runs, so a `NotAllowed` cursor cannot
    /// be applied from a build-time snapshot of this prop either.
    pub fn enabled(mut self, enabled: impl Into<Prop<bool>>) -> Self {
        self.enabled = enabled.into();
        self
    }

    /// Per-call style override. Replaces the theme-wide default
    /// `MenuItemStyle` for just this MenuItem instance.
    pub fn style(mut self, style: impl teksilo_core::styles::MenuItemStyle) -> Self {
        self.style_override = Some(Rc::new(style));
        self
    }

    /// Override the label's text style (font, size, weight). Accepts a
    /// `TextStyleRole`, a `TextStyle`, or a `Signal` of either. Default
    /// (unset) is `TextStyleRole::Body`.
    pub fn text_style(mut self, style: impl Into<teksilo_core::color_prop::TextStyleProp>) -> Self {
        self.label_style = Some(style.into());
        self
    }

    /// Override the label text color. Accepts `Color`, a role, or a
    /// `Signal` of either. Default (unset) is the interaction/enabled
    /// cascade; setting this replaces that cascade (the hover / disabled
    /// tint no longer applies), so reserve it for chrome that enforces a
    /// fixed text role.
    pub fn text_role(mut self, color: impl Into<teksilo_core::color_prop::ColorProp>) -> Self {
        self.text_role_override = Some(color.into());
        self
    }

    /// Attach a tooltip that appears after a hover delay, same mechanism
    /// as [`Button::tooltip`](crate::button::Button::tooltip).
    pub fn tooltip(mut self, text: impl Into<LocalizedString>) -> Self {
        self.tooltip_text = Some(text.into());
        self.rich_tooltip_source = None;
        self.composite_tooltip_content = None;
        self
    }

    /// Attach a rich tooltip resolved from the app-wide tooltip
    /// registry. Body text supports inline markup
    /// (`[label](url)`, `*italic*`, `**bold**`); the entry's shortcut
    /// and long-form "more" fields are rendered automatically.
    pub fn rich_tooltip(mut self, key: impl Into<String>) -> Self {
        self.rich_tooltip_source = Some(crate::tooltip::RichTooltipSource::Key(key.into()));
        self.tooltip_text = None;
        self.composite_tooltip_content = None;
        self
    }

    /// Attach a rich tooltip driven by inline `TooltipContent`.
    pub fn rich_tooltip_content(mut self, content: crate::tooltip::TooltipContent) -> Self {
        self.rich_tooltip_source = Some(crate::tooltip::RichTooltipSource::Content(content));
        self.tooltip_text = None;
        self.composite_tooltip_content = None;
        self
    }

    /// Attach a composite tooltip — third tier, hosting an arbitrary
    /// widget tree. See [`Button::composite_tooltip`](crate::button::Button::composite_tooltip).
    pub fn composite_tooltip(mut self, content: impl Widget + 'static) -> Self {
        self.composite_tooltip_content = Some(Box::new(content));
        self.tooltip_text = None;
        self.rich_tooltip_source = None;
        self
    }

    /// Create a submenu trigger item. The factory is invoked during `build()` to
    /// pre-create the submenu content (typically a `MenuList`), which is kept
    /// dormant until the hover delay elapses.
    pub fn submenu(
        label: impl Into<LocalizedString>,
        factory: impl Fn() -> Box<dyn Widget> + 'static,
    ) -> Self {
        let ls: LocalizedString = label.into();
        Self {
            label: ls,
            icon: None,
            icon_keeps_color: false,
            shortcut_label: None,
            trailing_hint: None,
            shortcut_id: None,
            tooltip_text: None,
            rich_tooltip_source: None,
            composite_tooltip_content: None,
            action: None,
            enabled: Prop::Static(true),
            mode: MenuItemMode::Plain,
            radio_group_ids: None,
            submenu_factory: Some(Box::new(factory)),
            submenu_open_delay: DEFAULT_SUBMENU_OPEN_DELAY,
            interaction: Signal::new(MenuItemState::Idle),
            submenu_open: Signal::new(false),
            submenu_needed: Signal::new(false),
            shortcut_signal: None,
            label_style: None,
            text_role_override: None,
            style_override: None,
            root_child_id: None,
            submenu_content_id: None,
            parsed_mnemonic: None,
            safe_triangle: None,
        }
    }

    /// Set a custom submenu open delay (default: 200ms).
    pub fn submenu_delay(mut self, delay: Duration) -> Self {
        self.submenu_open_delay = delay;
        self
    }

    /// Whether this is a submenu trigger.
    pub fn is_submenu(&self) -> bool {
        self.submenu_factory.is_some()
    }

    /// Bind this item to a two-state `Signal<bool>`. The item renders
    /// `Role::MenuItemCheckBox`; activation flips the signal. By
    /// Windows convention, the leading icon slot becomes a checkmark
    /// when the signal is `true`, blank otherwise.
    ///
    /// Mutually exclusive with [`check_state`](Self::check_state)
    /// and [`radio`](Self::radio) — last call wins.
    pub fn checked(mut self, state: Signal<bool>) -> Self {
        self.mode = MenuItemMode::Check(CheckKind::TwoState(state));
        self
    }

    /// Render `Role::MenuItemCheckBox` whose checkmark **reflects** `state`
    /// read-only: activation does NOT write the signal — the truth lives
    /// elsewhere (a model / method), and this item's `on_activate`/intent is
    /// responsible for the change, after which `state` updates the checkmark
    /// reactively. Use for "View ▸ Sidebar / Full Screen"-style commands that
    /// mirror externally-owned state (e.g. `DockingModel::dock_open_signal`),
    /// where two-way [`checked`](Self::checked) would fight the model.
    ///
    /// Mutually exclusive with the other check / radio binders — last call wins.
    pub fn reflect_checked(mut self, state: impl Into<Prop<bool>>) -> Self {
        self.mode = MenuItemMode::Check(CheckKind::Reflect(state.into()));
        self
    }

    /// Bind this item to a tri-state `Signal<CheckState>`. The item
    /// renders `Role::MenuItemCheckBox`; activation cycles
    /// `Unchecked` ↔ `Checked` (per Windows / [`Checkbox`](crate::checkbox::Checkbox)
    /// convention: `Indeterminate` is reserved for external sources
    /// like `TreeCheckedModel`; clicking from `Indeterminate`
    /// promotes to `Checked`).
    ///
    /// The leading-slot glyph is `checkmark` for `Checked`, `dash`
    /// for `Indeterminate`, blank for `Unchecked` — matching the
    /// Windows mixed-state convention.
    ///
    /// Mutually exclusive with [`checked`](Self::checked)
    /// and [`radio`](Self::radio) — last call wins.
    pub fn check_state(mut self, state: Signal<CheckState>) -> Self {
        self.mode = MenuItemMode::Check(CheckKind::TriState(state));
        self
    }

    /// Bind this item to a radio group via a shared `Signal<usize>`.
    /// Activation writes `value` into `selected`; all radio items
    /// sharing the same `selected` signal observe the change and
    /// update their leading-slot dot accordingly. The item renders
    /// `Role::MenuItemRadio`.
    ///
    /// For "2 of 3"-style AT announcement, the enclosing
    /// [`MenuList`](crate::menu_list::MenuList) groups radio items
    /// by selection-signal identity and emits `push_to_radio_group`
    /// relationships automatically — no app-side wiring required.
    ///
    /// Mutually exclusive with [`checked`](Self::checked)
    /// and [`check_state`](Self::check_state) — last call
    /// wins.
    pub fn radio(mut self, value: usize, selected: Signal<usize>) -> Self {
        self.mode = MenuItemMode::Radio { value, selected };
        self
    }

    /// Internal accessor for [`MenuList::build`](crate::menu_list::MenuList::build)
    /// — read whether this item is a radio with a given group-id
    /// (the `Rc`-identity of its `selected` signal).
    pub(crate) fn radio_selection_handle(&self) -> Option<(usize, Signal<usize>)> {
        match &self.mode {
            MenuItemMode::Radio { value, selected } => Some((*value, selected.clone())),
            _ => None,
        }
    }

    /// Internal setter for [`MenuList::build`](crate::menu_list::MenuList::build)
    /// — install the sibling id buffer so `accessibility()` can
    /// announce "2 of N" via `push_to_radio_group`.
    pub(crate) fn set_radio_group_ids(&mut self, ids: Rc<std::cell::RefCell<Vec<WidgetId>>>) {
        self.radio_group_ids = Some(ids);
    }

    /// Read the parsed mnemonic for this item's label. Populated
    /// inside `build()`. Returns `None` for items that haven't been
    /// built yet, or whose label contains no un-escaped `&` marker.
    ///
    /// Used by [`MenuList`](crate::menu_list::MenuList) to wire
    /// in-menu mnemonic activation (bare-letter activation of the
    /// matching item) — the lookup runs on every `KeyDown` so a
    /// fresh `parse_mnemonic` per keypress would be wasteful.
    pub(crate) fn mnemonic(&self) -> Option<&ParsedMnemonic> {
        self.parsed_mnemonic.as_ref()
    }

    /// Pre-parse the label so that
    /// [`MenuList::build`](crate::menu_list::MenuList::build) can
    /// read this item's mnemonic *before* the item is committed to
    /// the arena. Idempotent — calls after the first one are no-ops.
    pub(crate) fn ensure_mnemonic_parsed(&mut self) {
        if self.parsed_mnemonic.is_none() {
            self.parsed_mnemonic = Some(parse_mnemonic(&self.label.resolve_now()));
        }
    }

    /// Install the enclosing
    /// [`MenuList`](crate::menu_list::MenuList)'s shared
    /// safe-triangle state. Called by `MenuList::build` for every
    /// item before it reaches the arena. The handle lets:
    ///
    /// - a submenu trigger stamp the anchor (pointer position at
    ///   submenu-open time) and the open submenu's content id;
    /// - a sibling item read the anchor + submenu id on hover and
    ///   skip its dismiss / open call when the cursor is currently
    ///   inside the safe triangle.
    pub(crate) fn set_safe_triangle_state(
        &mut self,
        state: crate::menu_list::SharedSafeTriangleState,
    ) {
        self.safe_triangle = Some(state);
    }
}

impl std::fmt::Debug for MenuItem {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        let mode = match &self.mode {
            MenuItemMode::Plain => "Plain",
            MenuItemMode::Check(CheckKind::TwoState(_)) => "Check(TwoState)",
            MenuItemMode::Check(CheckKind::TriState(_)) => "Check(TriState)",
            MenuItemMode::Check(CheckKind::Reflect(_)) => "Check(Reflect)",
            MenuItemMode::Radio { .. } => "Radio",
        };
        f.debug_struct("MenuItem")
            .field("label", &self.label)
            .field("enabled", &self.enabled)
            .field("is_submenu", &self.submenu_factory.is_some())
            .field("mode", &mode)
            .finish()
    }
}

fn resolve_text_role(state: MenuItemState) -> TextRole {
    match state {
        MenuItemState::Disabled => TextRole::Disabled,
        _ => TextRole::Primary,
    }
}

fn resolve_shortcut_role(state: MenuItemState) -> TextRole {
    match state {
        MenuItemState::Disabled => TextRole::Disabled,
        _ => TextRole::TooltipShortcut,
    }
}

/// Whether a state is the row's *highlighted* one — the state a
/// [`MenuItemStyle::highlighted_label_role`](teksilo_core::styles::MenuItemStyle::highlighted_label_role)
/// applies to. Hover and the
/// keyboard-arrow highlight share `Hovered`; a pressed row is still
/// highlighted underneath the press.
fn is_highlight(state: MenuItemState) -> bool {
    matches!(state, MenuItemState::Hovered | MenuItemState::Pressed)
}

impl Widget for MenuItem {
    fn build(&mut self, ctx: &mut BuildContext) -> Vec<WidgetId> {
        use crate::styles::recipe_menu_item_style as menu;
        let self_id = ctx.self_id();
        // Forward enabled (static or signal-bound) into the arena. A bound
        // signal makes enable/disable reactive — the framework's
        // effective_enabled drives paint / AT (and event gating).
        ctx.enabled_when(self_id, self.enabled.clone());
        let effective_enabled = ctx.effective_enabled_signal(self_id);

        // Interaction seeds to Idle; the framework's effective_enabled
        // drives the Disabled visual via the recipe and through the
        // leaves' role substitution.
        let interaction = ctx.signal(MenuItemState::Idle);
        self.interaction = interaction.clone();

        // Resolved here rather than at `make_body` because the label is
        // built long before the chrome, and a style whose highlight is a
        // *solid* fill (macOS's accent row) has to say so in time to
        // recolour it. Per-call override > theme slot > shipped recipe.
        let style: SharedMenuItemStyle = self
            .style_override
            .clone()
            .or_else(|| ctx.theme().style_slots.menu_item.clone())
            .unwrap_or_else(|| Rc::new(crate::styles::RecipeMenuItemStyle::default()));
        let highlighted_role = style.highlighted_label_role();

        // Combine interaction + effective_enabled so `text_role`
        // resolves to Disabled when disabled. Keeps the icon and label
        // muted on hover-while-disabled too (defense in depth — the
        // leaves' `ColorProp::resolve(theme, ctx.effective_enabled)`
        // would substitute Disabled anyway).
        let text_role = interaction.zip(&effective_enabled).map(move |(s, on)| {
            if !*on {
                TextRole::Disabled
            } else {
                highlighted_role
                    .filter(|_| is_highlight(*s))
                    .unwrap_or_else(|| resolve_text_role(*s))
            }
        });

        // Build the three slots fed to the active `MenuItemStyle`.
        // The style decides the row layout (and chrome); the widget
        // owns the slot contents.
        //
        // Leading: icon column — always reserved at `icon_column_width`,
        // even when the item has no icon, so labels line up vertically
        // between icon'd and icon-less items.
        //
        // For Check / Radio modes the slot becomes a `Switcher`
        // driven by the bound state signal, swapping between the
        // glyph and a `Spacer`. The framework's binding system
        // re-paints the leaf when the signal flips — no rebuild.
        //
        // Icon + Check/Radio are mutually exclusive (Windows
        // convention). If both are set, `debug_assert!` fires and the
        // check/radio mode wins in release.
        let leading = {
            let icon_child_id = match &self.mode {
                MenuItemMode::Plain => match self.icon.take() {
                    // The caller's own colour stands — see `icon_keeps_color`.
                    Some(icon) if self.icon_keeps_color => ctx.add(icon),
                    Some(icon) => ctx.add(icon.color(text_role.clone())),
                    None => ctx.add(Spacer::new()),
                },
                MenuItemMode::Check(CheckKind::TwoState(s)) => {
                    debug_assert!(
                        self.icon.is_none(),
                        "MenuItem: .icon() is mutually exclusive with a checkmark (checked / reflect_checked)"
                    );
                    self.icon = None;
                    // 0 = checkmark, 1 = spacer.
                    let idx = s.map(|b| if *b { 0_usize } else { 1 });
                    ctx.add(
                        Switcher::new(idx)
                            .child(
                                IconWidget::checkmark(MENU_INDICATOR_GLYPH_SIZE)
                                    .color(text_role.clone()),
                            )
                            .child(Spacer::new()),
                    )
                }
                MenuItemMode::Check(CheckKind::Reflect(s)) => {
                    debug_assert!(
                        self.icon.is_none(),
                        "MenuItem: .icon() is mutually exclusive with a checkmark (checked / reflect_checked)"
                    );
                    self.icon = None;
                    // 0 = checkmark, 1 = spacer.
                    let idx = s.as_signal().map(|b| if *b { 0_usize } else { 1 });
                    ctx.add(
                        Switcher::new(idx)
                            .child(
                                IconWidget::checkmark(MENU_INDICATOR_GLYPH_SIZE)
                                    .color(text_role.clone()),
                            )
                            .child(Spacer::new()),
                    )
                }
                MenuItemMode::Check(CheckKind::TriState(s)) => {
                    debug_assert!(
                        self.icon.is_none(),
                        "MenuItem: .icon() is mutually exclusive with .check_state()"
                    );
                    self.icon = None;
                    // 0 = checkmark (Checked), 1 = dash (Indeterminate), 2 = spacer (Unchecked).
                    let idx = s.map(|cs| match cs {
                        CheckState::Checked => 0_usize,
                        CheckState::Indeterminate => 1,
                        CheckState::Unchecked => 2,
                    });
                    ctx.add(
                        Switcher::new(idx)
                            .child(
                                IconWidget::checkmark(MENU_INDICATOR_GLYPH_SIZE)
                                    .color(text_role.clone()),
                            )
                            .child(
                                IconWidget::dash(MENU_INDICATOR_GLYPH_SIZE)
                                    .color(text_role.clone()),
                            )
                            .child(Spacer::new()),
                    )
                }
                MenuItemMode::Radio { value, selected } => {
                    debug_assert!(
                        self.icon.is_none(),
                        "MenuItem: .icon() is mutually exclusive with .radio()"
                    );
                    self.icon = None;
                    let v = *value;
                    // 0 = filled dot (selected == value), 1 = spacer.
                    let idx = selected.map(move |sel| if *sel == v { 0_usize } else { 1 });
                    ctx.add(
                        Switcher::new(idx)
                            .child(
                                IconWidget::radio_dot(MENU_INDICATOR_GLYPH_SIZE)
                                    .color(text_role.clone()),
                            )
                            .child(Spacer::new()),
                    )
                }
            };
            ctx.add(
                crate::primitives::FixedSize::new()
                    .width(menu::MENU_ICON_COLUMN_WIDTH)
                    .height(menu::MENU_ICON_COLUMN_WIDTH)
                    .child_id(icon_child_id),
            )
        };

        // Label. Uses `MenuLabel` (not `TextWidget`) so a single `&`
        // in the label is parsed as a mnemonic marker — stripped from
        // the visible text and underlined when `alt_down` is held.
        // The parsed form is cached so the enclosing MenuList can
        // read it for type-ahead and in-menu mnemonic activation.
        let parsed = parse_mnemonic(&self.label.resolve_now());
        self.parsed_mnemonic = Some(parsed.clone());
        let alt_down = ctx
            .window()
            .map(|w| w.alt_down().clone())
            .unwrap_or_else(|| Signal::new(false));
        let label_source: teksilo_core::signal::Prop<String> = self.label.clone().into();
        let label_color: teksilo_core::color_prop::ColorProp = self
            .text_role_override
            .clone()
            .unwrap_or_else(|| text_role.clone().into());
        let label_style: teksilo_core::color_prop::TextStyleProp = self
            .label_style
            .clone()
            .unwrap_or_else(|| TextStyleRole::Body.into());
        let label = ctx.add(MenuLabel::new(
            label_source,
            alt_down,
            label_color,
            label_style,
        ));

        // Resolve the trailing accelerator *reactively*. A manual
        // `shortcut_label` is a static string; a `shortcut_id` binds a
        // per-id registry signal (built into the trailing slot below), so
        // a rebind of *that* id refreshes the chord in place. Crucially we
        // do NOT observe the coarse global `shortcut_version` at `Rebuild`
        // here — doing so tore the whole item (its gesture arena) down on
        // *any* shortcut-registry activity anywhere, dropping the click on
        // menu items that show a shortcut. The item is now never rebuilt
        // for shortcut changes; only its trailing label repaints.
        self.shortcut_signal = self.shortcut_id.map(|id| ctx.effective_shortcut_signal(id));

        // Pre-create submenu content if this is a submenu trigger. Kept
        // dormant until hover opens the overlay.
        let submenu_content_id = if let Some(factory) = self.submenu_factory.take() {
            let submenu_widget = factory();
            // Detached (a submenu opens in an overlay beside the item, never
            // inline) but owned, so it dies with the item instead of outliving
            // every menu the user ever opened.
            // Built the first time the submenu is actually wanted. A menu of
            // twenty items with submenus used to build all twenty submenus —
            // and their submenus — the moment the menu was mounted.
            let id = ctx.add_detached_deferred_boxed(self.submenu_needed.clone(), submenu_widget);
            ctx.set_dormant(id);
            self.submenu_content_id = Some(id);
            Some(id)
        } else {
            None
        };

        // Trailing slot — combines (optional shortcut + fixed gap +
        // optional chevron column). The chevron column is always
        // reserved at `item_padding_horizontal` so submenu and
        // regular items share the same trailing edge.
        let trailing = {
            let mut trailing_row = HStack::new().spacing(0.0);
            // Trailing accelerator. Present whenever this item references a
            // shortcut (manual `shortcut_label`, or a `shortcut_id`). For an
            // id it binds the per-id signal reactively (empty ⇒ zero-width,
            // so a shortcut appearing/disappearing needs no rebuild); for a
            // manual label it's a static string.
            let shortcut: Option<TextWidget> = if let Some(label) = self.shortcut_label.clone() {
                Some(TextWidget::new(lit!(label)))
            } else {
                self.shortcut_signal.clone().map(|sig| {
                    TextWidget::new(lit!(""))
                        .text(sig.map(|ks| (*ks).map(format_keystroke).unwrap_or_default()))
                })
            };
            let has_shortcut = shortcut.is_some();
            if let Some(shortcut) = shortcut {
                let shortcut_role = interaction.map(move |s| {
                    highlighted_role
                        .filter(|_| is_highlight(*s))
                        .unwrap_or_else(|| resolve_shortcut_role(*s))
                });
                trailing_row = trailing_row.child(
                    shortcut
                        .style(TextStyleRole::Body)
                        .color(shortcut_role)
                        .single_line()
                        .a11y_hidden(),
                );
            }
            // Trailing descriptive hint. Unlike the accelerator above this is
            // built straight from the `LocalizedString`, so `TextWidget`'s own
            // `Prop<String>` conversion binds it to the locale signal and it
            // re-resolves in place on a language switch. It is `a11y_hidden`
            // because it is announced as the item's *description* instead (see
            // `accessibility`), never as a keyboard shortcut.
            if let Some(hint) = self.trailing_hint.clone() {
                if has_shortcut {
                    // Both set (rare) — keep the chord and the phrase apart.
                    trailing_row = trailing_row.child(
                        crate::primitives::FixedSize::new()
                            .width(menu::MENU_ITEM_PADDING_HORIZONTAL),
                    );
                }
                let hint_role = interaction.map(move |s| {
                    highlighted_role
                        .filter(|_| is_highlight(*s))
                        .unwrap_or_else(|| resolve_shortcut_role(*s))
                });
                trailing_row = trailing_row.child(
                    TextWidget::new(hint)
                        .style(TextStyleRole::Body)
                        .color(hint_role)
                        .single_line()
                        .a11y_hidden(),
                );
            }
            // Chevron column. Always reserved (Spacer when no submenu)
            // so the row's right edge sits at exactly the same X
            // regardless of submenu-ness.
            //
            // The submenu opens on the trailing edge
            // (`OverlayPlacement::TrailingEdge`) — right under LTR, left
            // under RTL — so the chevron must point the same way. Drive a
            // `Switcher` off the locale's direction signal so it flips
            // live on a locale change (0 = LTR → ▶, 1 = RTL → ◀). With no
            // i18n manager installed there's no RTL, so fall back to the
            // plain right-pointing chevron.
            let chevron_child_id = if submenu_content_id.is_some() {
                match teksilo_i18n::current_direction() {
                    Some(direction) => {
                        let idx = direction.map(|d| {
                            if *d == teksilo_core::environment::LayoutDirection::RightToLeft {
                                1_usize
                            } else {
                                0
                            }
                        });
                        ctx.add(
                            Switcher::new(idx)
                                .child(IconWidget::chevron_right(12.0).color(text_role.clone()))
                                .child(IconWidget::chevron_left(12.0).color(text_role.clone())),
                        )
                    }
                    None => ctx.add(IconWidget::chevron_right(12.0).color(text_role.clone())),
                }
            } else {
                ctx.add(Spacer::new())
            };
            let chevron_column = ctx.add(
                crate::primitives::FixedSize::new()
                    .width(menu::MENU_ITEM_PADDING_HORIZONTAL)
                    .height(menu::MENU_ICON_COLUMN_WIDTH)
                    .child_id(chevron_child_id),
            );
            trailing_row = trailing_row.add_child(chevron_column);
            ctx.add(trailing_row)
        };

        // Derive the four boolean signals the trait wants.
        let is_hovered = interaction.map(|s| matches!(s, MenuItemState::Hovered));
        let is_pressed = interaction.map(|s| matches!(s, MenuItemState::Pressed));
        let is_disabled = interaction.map(|s| matches!(s, MenuItemState::Disabled));

        // MenuItem doesn't track focus/highlight separately today —
        // hovered already covers the keyboard-arrow case in the
        // existing dispatcher. Wire is_focused to a constant false
        // signal; is_highlighted reads the same as is_hovered for
        // the IntUI default (the recipe `or`s them anyway).
        let is_focused = ctx.signal(false);
        let is_highlighted = is_hovered.clone();

        let cfg = MenuItemStyleConfig {
            label,
            leading: Some(leading),
            trailing: Some(trailing),
            is_hovered,
            is_pressed,
            is_focused,
            is_disabled,
            is_highlighted,
        };
        let root_id = style.make_body(&cfg, ctx);

        self.root_child_id = Some(root_id);

        // Attach tooltip if configured. The three setters
        // (`tooltip`, `rich_tooltip*`, `composite_tooltip`) are
        // mutually exclusive — setters clear the other two so at most
        // one branch runs. A `MenuItem` only ever lives in a vertical
        // `MenuList`, so the tooltip opens to the trailing `Side` — a
        // `Below` tooltip would cover the next item down.
        use crate::tooltip::TooltipPlacement;
        if let Some(content) = self.composite_tooltip_content.take() {
            let delay = ctx.theme().motion.tooltip_delay_heavy;
            crate::tooltip::attach_composite_tooltip_boxed_with_placement(
                ctx,
                root_id,
                content,
                delay,
                TooltipPlacement::Side,
            );
        } else if let Some(source) = self.rich_tooltip_source.clone() {
            // Cloned, not taken: `build()` re-runs on every rebuild, and an item
            // that consumed its source attached a tooltip once and then silently
            // lost it — the surviving entry pointed at the previous build's body,
            // which the rebuild had just destroyed. (`composite_tooltip_content`
            // above is a `Box<dyn Widget>` with no way to clone, so it keeps the
            // take and its one-shot behaviour.)
            let delay = ctx.theme().motion.tooltip_delay;
            crate::tooltip::attach_rich_tooltip_source_with_placement(
                ctx,
                root_id,
                source,
                delay,
                TooltipPlacement::Side,
            );
        } else if let Some(tooltip_text) = self.tooltip_text.clone() {
            let delay = ctx.theme().motion.tooltip_delay;
            crate::tooltip::attach_plain_tooltip_with_placement(
                ctx,
                root_id,
                tooltip_text,
                delay,
                TooltipPlacement::Side,
            );
        }

        // --- Handlers ---
        let action = self.action.take();
        let action_rc: std::rc::Rc<Option<CommandFactory>> = std::rc::Rc::new(action);
        let action_for_key = action_rc.clone();

        // Shared closure that performs the bound-state mutation on
        // activation — flips the check signal, cycles the tristate
        // signal, or writes the radio value. Captured by both the
        // tap and key handlers so click and Enter/Space have
        // identical semantics. `None` for `Plain` and for submenu
        // triggers (which never carry a bound state).
        type ActivateFn = std::rc::Rc<dyn Fn()>;
        let mode_activate: Option<ActivateFn> = match &self.mode {
            MenuItemMode::Plain => None,
            MenuItemMode::Check(CheckKind::TwoState(s)) => {
                let s = s.clone();
                Some(std::rc::Rc::new(move || s.set(!s.get())))
            }
            // Reflect-only: no built-in write — the on_activate / intent owns
            // the state change; the checkmark follows `state` reactively.
            MenuItemMode::Check(CheckKind::Reflect(_)) => None,
            MenuItemMode::Check(CheckKind::TriState(s)) => {
                let s = s.clone();
                // Click toggles Unchecked <-> Checked. Indeterminate
                // (driven by external aggregation models) promotes
                // to Checked. Mirrors `Checkbox::toggle`.
                Some(std::rc::Rc::new(move || match s.get() {
                    CheckState::Unchecked => s.set(CheckState::Checked),
                    CheckState::Checked => s.set(CheckState::Unchecked),
                    CheckState::Indeterminate => s.set(CheckState::Checked),
                }))
            }
            MenuItemMode::Radio { value, selected } => {
                let v = *value;
                let selected = selected.clone();
                Some(std::rc::Rc::new(move || selected.set(v)))
            }
        };
        let mode_activate_for_tap = mode_activate.clone();
        let mode_activate_for_key = mode_activate.clone();

        let int_hover = interaction.clone();
        let self_id = ctx.self_id();
        let is_submenu = submenu_content_id.is_some();

        // Shared dismiss callback for the submenu overlay. Flipped
        // to `false` by the overlay manager when the submenu is
        // dismissed by any path (pointer leave, cascade, Escape,
        // click outside) so `accessibility()` can report accurate
        // `set_expanded` without needing to track the overlay state
        // from inside the MenuItem's own handlers.
        //
        // Also clears the safe-triangle anchor when the overlay
        // actually closes — keeping the anchor alive across
        // hover-leave (so sibling hovers heading toward the
        // submenu are properly gated) means we MUST clear it here
        // once the submenu is finally gone.
        let submenu_open_signal = self.submenu_open.clone();
        let submenu_needed_signal = self.submenu_needed.clone();
        let submenu_content_id_for_dismiss = submenu_content_id;
        let safe_triangle_for_dismiss = self.safe_triangle.clone();
        let submenu_dismiss_callback: teksilo_core::overlay::OverlayDismissCallback = {
            let open = submenu_open_signal.clone();
            std::rc::Rc::new(move || {
                open.set(false);
                if let (Some(sub_id), Some(state_rc)) = (
                    submenu_content_id_for_dismiss,
                    safe_triangle_for_dismiss.as_ref(),
                ) {
                    let mut state = state_rc.borrow_mut();
                    if state.submenu_content_id == Some(sub_id) {
                        state.submenu_content_id = None;
                        state.anchor = None;
                    }
                }
            })
        };

        // Shared activation for assistive-tech / automation (AccessKit `Click`).
        // Mirrors the Enter/Space `on_key` path exactly: a regular item flips its
        // bound mode, runs the user action, and dismisses the chain; a submenu
        // trigger opens its nested overlay. The item already advertises
        // `Action::Click` in `accessibility()`, but without a handler that
        // advertised action is inert — this makes it activatable.
        let activate_item: std::rc::Rc<dyn Fn(&mut EventContext)> = {
            let mode_activate = mode_activate.clone();
            let action = action_rc.clone();
            let sub_id = submenu_content_id;
            let open = submenu_open_signal.clone();
            let needed = submenu_needed_signal.clone();
            let dismiss = submenu_dismiss_callback.clone();
            std::rc::Rc::new(move |ctx: &mut EventContext| {
                if let Some(ref activate) = mode_activate {
                    activate();
                }
                if let Some(ref action) = *action {
                    action(ctx);
                    ctx.dismiss_self_overlay_chain();
                } else if mode_activate.is_some() {
                    ctx.dismiss_self_overlay_chain();
                } else if let Some(sub_id) = sub_id {
                    ctx.dismiss_child_overlays_except(sub_id);
                    // Build the submenu if this is the first time it is wanted, before
                    // the overlay below is measured against it.
                    needed.set(true);
                    ctx.materialize_now(sub_id);
                    ctx.activate(sub_id);
                    open.set(true);
                    ctx.show_overlay(OverlayRequest {
                        content_id: sub_id,
                        anchor: self_id,
                        placement: OverlayPlacement::TrailingEdge,
                        dismiss: DismissBehavior::PointerLeave {
                            delay: DEFAULT_SUBMENU_CLOSE_DELAY,
                        },
                        layer: OverlayLayer::InTree,
                        parent_overlay: None,
                        on_dismiss: Some(dismiss.clone()),
                        fade_duration: None,
                    });
                    ctx.request_focus(sub_id);
                }
            })
        };

        let mut handler_set = HandlerSet::new();

        if is_submenu {
            // --- Submenu trigger: timer-based delayed open ---
            // On hover enter: request a delayed overlay via the widget tree's
            // timer system (like tooltips). On hover leave: cancel the pending
            // request. The widget tree checks pending overlays during layout()
            // and opens them once the delay elapses.
            let sub_id = submenu_content_id.expect("is_submenu implies submenu_content_id is Some");
            let open_delay = self.submenu_open_delay;

            let open_for_tap = submenu_open_signal.clone();
            let needed_for_tap = submenu_needed_signal.clone();
            let dismiss_for_tap = submenu_dismiss_callback.clone();
            let open_for_hover = submenu_open_signal.clone();
            let needed_for_hover = submenu_needed_signal.clone();
            let dismiss_for_hover = submenu_dismiss_callback.clone();
            // Capture the safe-triangle shared state so we can stamp
            // / clear the anchor on submenu open / close.
            let safe_triangle_open = self.safe_triangle.clone();
            let safe_triangle_close = self.safe_triangle.clone();
            // Framework gates events on `arena.is_enabled(self_id)`.
            handler_set = handler_set
                .on_tap({
                    move |_pos, ctx: &mut EventContext| {
                        // Click on submenu trigger opens it immediately
                        ctx.dismiss_child_overlays_except(sub_id);
                        // Build the submenu if this is the first time it is wanted, before
                        // the overlay below is measured against it.
                        needed_for_tap.set(true);
                        ctx.materialize_now(sub_id);
                        ctx.activate(sub_id);
                        open_for_tap.set(true);
                        ctx.show_overlay(OverlayRequest {
                            content_id: sub_id,
                            anchor: self_id,
                            placement: OverlayPlacement::TrailingEdge,
                            dismiss: DismissBehavior::PointerLeave {
                                delay: DEFAULT_SUBMENU_CLOSE_DELAY,
                            },
                            layer: OverlayLayer::InTree,
                            parent_overlay: None,
                            on_dismiss: Some(dismiss_for_tap.clone()),
                            fade_duration: None,
                        });
                        ctx.request_focus(sub_id);
                    }
                })
                .on_hover({
                    let int_hover = int_hover.clone();
                    move |entered: bool, ctx: &mut EventContext| {
                        if entered {
                            int_hover.set(MenuItemState::Hovered);
                            ctx.dismiss_child_overlays_except(sub_id);
                            open_for_hover.set(true);
                            // Stamp the safe-triangle anchor so sibling
                            // hover-switches can suppress themselves
                            // while the cursor is travelling toward
                            // the open submenu. We use the current
                            // cursor position; if unavailable, the
                            // gate falls back to "no apex" (always
                            // false → no suppression).
                            if let Some(state_rc) = safe_triangle_open.as_ref() {
                                let mut state = state_rc.borrow_mut();
                                state.submenu_content_id = Some(sub_id);
                                state.anchor = ctx.tree_pointer_position();
                            }
                            // Build the submenu if this is the first time it is wanted, before
                            // the overlay below is measured against it.
                            needed_for_hover.set(true);
                            ctx.materialize_now(sub_id);
                            ctx.show_overlay_after_with_focus(
                                OverlayRequest {
                                    content_id: sub_id,
                                    anchor: self_id,
                                    placement: OverlayPlacement::TrailingEdge,
                                    dismiss: DismissBehavior::PointerLeave {
                                        delay: DEFAULT_SUBMENU_CLOSE_DELAY,
                                    },
                                    layer: OverlayLayer::InTree,
                                    parent_overlay: None,
                                    on_dismiss: Some(dismiss_for_hover.clone()),
                                    fade_duration: None,
                                },
                                open_delay,
                                sub_id,
                            );
                        } else {
                            int_hover.set(MenuItemState::Idle);
                            ctx.cancel_delayed_overlay(sub_id);
                            // If the overlay was still pending (delay
                            // not yet elapsed), its dismiss callback
                            // will never fire — we must reset the
                            // open flag ourselves. Idempotent if the
                            // overlay already showed: the framework
                            // dismiss callback will also set it false
                            // when the PointerLeave behavior tears
                            // the overlay down shortly afterward.
                            open_for_hover.set(false);
                            // Clear the safe-triangle anchor ONLY when
                            // the submenu never actually opened (the
                            // 400 ms delay was cancelled while still
                            // pending). When the overlay IS open, we
                            // leave the anchor in place — sibling
                            // hover handlers consult it during the
                            // user's diagonal travel toward the
                            // submenu, and the dismiss callback
                            // installed above clears it the moment
                            // the overlay actually closes. Clearing
                            // on every hover-leave would defeat the
                            // entire safe-triangle gate, because the
                            // trigger's hover-leave fires *before* a
                            // sibling's hover-enter.
                            if let Some(state_rc) = safe_triangle_close.as_ref()
                                && ctx.overlay_bounds_for_content(sub_id).is_none()
                            {
                                let mut state = state_rc.borrow_mut();
                                if state.submenu_content_id == Some(sub_id) {
                                    state.submenu_content_id = None;
                                    state.anchor = None;
                                }
                            }
                        }
                    }
                });
        } else {
            // --- Regular menu item: tap to activate ---
            let action_for_tap = action_rc.clone();
            let int_tap = interaction.clone();

            handler_set = handler_set
                .on_tap({
                    move |_pos, ctx: &mut EventContext| {
                        int_tap.set(MenuItemState::Pressed);
                        // 1. Flip the bound state first (Check / Radio),
                        //    so the user-supplied action sees the
                        //    post-activation value.
                        if let Some(ref activate) = mode_activate_for_tap {
                            activate();
                        }
                        // 2. Invoke the user action if any.
                        if let Some(ref action) = *action_for_tap {
                            action(ctx);
                        }
                        // 3. Dismiss the chain when EITHER an action
                        //    fired OR a mode flip happened. Plain items
                        //    without an action used to no-op the click;
                        //    Check/Radio items without an action still
                        //    dismiss because the visible state changed.
                        if action_for_tap.is_some() || mode_activate_for_tap.is_some() {
                            ctx.dismiss_self_overlay_chain();
                        }
                        // Reset to Idle after dispatching — the
                        // overlay dismissal swallows the trailing
                        // PointerUp that would normally clear Pressed,
                        // and the dormant content widgets keep their
                        // last-painted state. Without this the
                        // previously-clicked item reads as Pressed
                        // (highlighted) the next time the menu opens,
                        // until a hover transition overwrites it.
                        int_tap.set(MenuItemState::Idle);
                    }
                })
                .on_hover({
                    let safe_triangle_sibling = self.safe_triangle.clone();
                    move |entered: bool, ctx: &mut EventContext| {
                        if entered {
                            // Safe-triangle gate: if another submenu is
                            // currently open AND the cursor is inside
                            // the triangle anchored at the
                            // submenu-open pointer position with its
                            // base on the open submenu's near edge,
                            // skip the dismiss — the user is en route
                            // to the submenu and we don't want to
                            // close it out from under them.
                            let suppress = safe_triangle_sibling
                                .as_ref()
                                .and_then(|state_rc| {
                                    let state = state_rc.borrow();
                                    let sub_content_id = state.submenu_content_id?;
                                    let anchor = state.anchor?;
                                    let pointer = ctx.tree_pointer_position()?;
                                    let bounds = ctx.overlay_bounds_for_content(sub_content_id)?;
                                    Some(point_in_safe_triangle(pointer, anchor, bounds))
                                })
                                .unwrap_or(false);
                            if !suppress {
                                ctx.dismiss_child_overlays();
                            }
                            int_hover.set(MenuItemState::Hovered);
                        } else {
                            int_hover.set(MenuItemState::Idle);
                        }
                    }
                });
        }

        // Keyboard handler shared by both submenu and regular items
        handler_set = handler_set.on_key({
            let interaction = interaction.clone();
            let sub_id = submenu_content_id;
            let open_for_key = submenu_open_signal.clone();
            let needed_for_key = submenu_needed_signal.clone();
            let dismiss_for_key = submenu_dismiss_callback.clone();
            move |event: &WidgetEvent, ctx: &mut EventContext| -> EventResponse {
                // The "open submenu / go deeper" key is inline-forward:
                // ArrowRight under LTR, ArrowLeft under RTL (submenus open
                // on the trailing edge, which mirrors). The inline-back
                // key (ArrowLeft under LTR, ArrowRight under RTL) is left
                // to bubble / to the framework's nested-overlay dismissal.
                let open_submenu_key = if ctx.is_rtl() {
                    Key::ArrowLeft
                } else {
                    Key::ArrowRight
                };
                match event {
                    WidgetEvent::KeyDown {
                        key: Key::Enter | Key::Space,
                        ..
                    } => {
                        // Mirror the tap activation order: bound-state
                        // mutation first, then user action, then chain
                        // dismissal. Submenu triggers fall through to
                        // the existing open path (they never carry a
                        // bound mode signal).
                        if let Some(ref activate) = mode_activate_for_key {
                            activate();
                        }
                        if let Some(ref action) = *action_for_key {
                            action(ctx);
                            ctx.dismiss_self_overlay_chain();
                        } else if mode_activate_for_key.is_some() {
                            // Check/Radio with no user action — still dismiss.
                            ctx.dismiss_self_overlay_chain();
                        } else if let Some(sub_id) = sub_id {
                            ctx.dismiss_child_overlays_except(sub_id);
                            // Build the submenu if this is the first time it is wanted, before
                            // the overlay below is measured against it.
                            needed_for_key.set(true);
                            ctx.materialize_now(sub_id);
                            ctx.activate(sub_id);
                            open_for_key.set(true);
                            ctx.show_overlay(OverlayRequest {
                                content_id: sub_id,
                                anchor: self_id,
                                placement: OverlayPlacement::TrailingEdge,
                                dismiss: DismissBehavior::PointerLeave {
                                    delay: DEFAULT_SUBMENU_CLOSE_DELAY,
                                },
                                layer: OverlayLayer::InTree,
                                parent_overlay: None,
                                on_dismiss: Some(dismiss_for_key.clone()),
                                fade_duration: None,
                            });
                            ctx.request_focus(sub_id);
                        }
                        interaction.set(MenuItemState::Pressed);
                        EventResponse::Handled
                    }
                    // Inline-forward arrow opens submenu (ignored on
                    // regular items). RTL-flipped via `open_submenu_key`.
                    WidgetEvent::KeyDown { key, .. } if *key == open_submenu_key => {
                        if let Some(sub_id) = sub_id {
                            ctx.dismiss_child_overlays_except(sub_id);
                            // Build the submenu if this is the first time it is wanted, before
                            // the overlay below is measured against it.
                            needed_for_key.set(true);
                            ctx.materialize_now(sub_id);
                            ctx.activate(sub_id);
                            open_for_key.set(true);
                            ctx.show_overlay(OverlayRequest {
                                content_id: sub_id,
                                anchor: self_id,
                                placement: OverlayPlacement::TrailingEdge,
                                dismiss: DismissBehavior::PointerLeave {
                                    delay: DEFAULT_SUBMENU_CLOSE_DELAY,
                                },
                                layer: OverlayLayer::InTree,
                                parent_overlay: None,
                                on_dismiss: Some(dismiss_for_key.clone()),
                                fade_duration: None,
                            });
                            ctx.request_focus(sub_id);
                            EventResponse::Handled
                        } else {
                            EventResponse::Ignored
                        }
                    }
                    _ => EventResponse::Ignored,
                }
            }
        });

        // Assistive-tech / automation activation. Click (the default action)
        // and Expand (submenu triggers) both run the shared activation.
        handler_set = handler_set.on_access_action({
            let activate = activate_item.clone();
            move |action, ctx: &mut EventContext| -> EventResponse {
                use teksilo_core::accesskit::Action;
                if matches!(action, Action::Click | Action::Expand) {
                    activate(ctx);
                    EventResponse::Handled
                } else {
                    EventResponse::Ignored
                }
            }
        });

        // Cursor is always Pointer. `HandlerSet::cursor` stores a *static*
        // `CursorIcon` on the node — there is no reactive form — so reading
        // `effective_enabled.get()` here only snapshots the value at build
        // time. Menu-bar dropdowns materialise their items while dormant
        // (often with every enablement signal still `false`), so that
        // snapshot permanently stuck rows on `NotAllowed` even after the
        // signal later went true and clicks started working. The framework
        // also gates *all* events — including `PointerEnter`, the path that
        // applies `node_cursor` — on `arena.is_enabled`, so a `NotAllowed`
        // icon could never show for a truly-disabled item either. Match
        // `Button` / `IconButton`: Pointer while interactive; greyed paint
        // + gated events while disabled.
        handler_set = handler_set.cursor(CursorIcon::Pointer);

        ctx.apply_self_handlers(handler_set);

        vec![root_id]
    }

    fn layout_response(
        &self,
        proposal: SizeProposal,
        ctx: &LayoutContext,
    ) -> teksilo_core::widget::LayoutResponse {
        match self.root_child_id {
            Some(id) => {
                let size = ctx
                    .child_size(id, proposal)
                    .unwrap_or_else(|| proposal.resolve(0.0, 0.0));
                // Claim the full proposed width when the parent offers one.
                // This is what makes menu items stretch to the popup width:
                // MenuList sizes its VStack to the widest item, then the
                // VStack proposes that width to each child. Without this
                // line, each MenuItem would report only its own content
                // width and the row's internal Spacer would have no room
                // to stretch — so the shortcut would sit flush against
                // the label instead of pushing to the trailing edge.
                let width = proposal.width.unwrap_or(size.width);
                Size::new(width, size.height)
            }
            None => proposal.resolve(120.0, 24.0),
        }
        .into()
    }

    fn place_children(
        &self,
        bounds: Rect,
        _proposal: SizeProposal,
        children: &mut [WidgetPlacement],
        _ctx: &LayoutContext,
    ) {
        for child in children.iter_mut() {
            child.origin = bounds.origin();
            child.size = bounds.size();
        }
    }

    fn accessibility(&self, builder: &mut AccessNodeBuilder) {
        use teksilo_core::accesskit::{HasPopup, Role, Toggled};

        // Role reflects the mode: Plain → MenuItem, Check → MenuItemCheckBox,
        // Radio → MenuItemRadio. Submenu triggers always render as
        // Role::MenuItem (independent of mode — submenu+checkable is
        // not a supported combination).
        let role = match &self.mode {
            MenuItemMode::Plain => Role::MenuItem,
            MenuItemMode::Check(_) => Role::MenuItemCheckBox,
            MenuItemMode::Radio { .. } => Role::MenuItemRadio,
        };
        builder.set_role(role);
        // Use the stripped form for the announced name — screen readers
        // say "Save", not "ampersand-Save". Re-parse from a fresh
        // `resolve_now()` every walk rather than reading the build-time
        // `parsed_mnemonic` cache: a locale switch marks the tree dirty
        // (re-walking AT) but does NOT rebuild the item, so the cache
        // would otherwise announce the stale-locale name. The cached
        // mnemonic index is still used for the underline in `paint`.
        let parsed_name = parse_mnemonic(&self.label.resolve_now()).stripped;
        builder.set_name(parsed_name);

        // Toggle state for Check / Radio. Mirrors `Checkbox`:
        // `set_toggled(bool)` for binary, `inner_mut().set_toggled(Toggled::Mixed)`
        // for tri-state Indeterminate.
        match &self.mode {
            MenuItemMode::Plain => {}
            MenuItemMode::Check(CheckKind::TwoState(s)) => {
                builder.set_toggled(s.get());
            }
            MenuItemMode::Check(CheckKind::Reflect(s)) => {
                builder.set_toggled(s.get());
            }
            MenuItemMode::Check(CheckKind::TriState(s)) => match s.get() {
                CheckState::Unchecked => builder.set_toggled(false),
                CheckState::Checked => builder.set_toggled(true),
                CheckState::Indeterminate => {
                    builder.inner_mut().set_toggled(Toggled::Mixed);
                }
            },
            MenuItemMode::Radio { value, selected } => {
                builder.set_toggled(selected.get() == *value);
            }
        }

        // Radio "2 of N" — push every group member id (including self)
        // into the AT node so assistive tech can announce
        // position-in-set. Only emitted for Radio items where the
        // enclosing MenuList wired up the group buffer. Mirrors
        // [`RadioButton::accessibility`] exactly.
        if let (MenuItemMode::Radio { .. }, Some(buf)) = (&self.mode, self.radio_group_ids.as_ref())
        {
            for sibling in buf.borrow().iter().copied() {
                builder.push_to_radio_group(teksilo_core::accessibility::widget_id_to_node_id(
                    sibling,
                ));
            }
        }

        // A submenu trigger exposes `has_popup(Menu)` so screen
        // readers announce the item as leading into a nested menu,
        // and `set_expanded` reflects whether the submenu is
        // currently visible. We check `submenu_content_id` rather
        // than `submenu_factory`: the factory is moved out during
        // `build()` via `take()`, so by the time the framework
        // queries accessibility the factory is always `None`,
        // but the content id survives.
        if self.submenu_content_id.is_some() {
            builder.set_has_popup(HasPopup::Menu);
            let open = self.submenu_open.get();
            builder.set_expanded(open);
            // State-appropriate Expand/Collapse (Click, advertised below, opens
            // it too). Handled by the `on_access_action` handler in `build()`.
            if open {
                builder.add_action(teksilo_core::accesskit::Action::Collapse);
            } else {
                builder.add_action(teksilo_core::accesskit::Action::Expand);
            }
        }
        // Framework a11y walker sets `set_disabled` from arena state.
        builder.add_action(teksilo_core::accesskit::Action::Click);
        // Announce the current chord *live*: a manual label, else the
        // per-id signal's present value — so AT reflects a rebind even
        // though the item itself is never rebuilt for shortcut changes.
        let accel = self.shortcut_label.clone().or_else(|| {
            self.shortcut_signal
                .as_ref()
                .and_then(|sig| sig.get().map(format_keystroke))
        });
        if let Some(accel) = accel {
            builder.set_keyboard_shortcut(accel);
        }
        // A trailing hint is prose, not a chord — it belongs in the
        // description so AT reads "Scene, inside" rather than announcing
        // "inside" as a key to press. Resolved here rather than at build
        // time so the a11y tree follows a live locale change too.
        if let Some(hint) = self.trailing_hint.as_ref() {
            builder.set_description(hint.resolve_now());
        }

        // Mnemonic — populates AccessKit's `access_key` field, which
        // Windows Narrator announces as "Access key: F" on items
        // carrying a single-character menu accelerator. Distinct from
        // the (rebindable) `keyboard_shortcut` field above, which
        // carries Ctrl+S-style accelerators. Empty / non-mnemonic
        // labels emit nothing.
        if let Some(parsed) = self.parsed_mnemonic.as_ref()
            && let Some(k) = parsed.key_lower
        {
            builder
                .inner_mut()
                .set_access_key(k.to_ascii_uppercase().to_string());
        }
    }

    fn children(&self) -> Vec<WidgetId> {
        match self.root_child_id {
            Some(id) => vec![id],
            None => Vec::new(),
        }
    }

    /// Opt into reflection so [`MenuList::build`](crate::menu_list::MenuList::build)
    /// can downcast a pending boxed item and install its radio group
    /// buffer before the item is added to the arena.
    fn as_any(&self) -> Option<&dyn std::any::Any> {
        Some(self)
    }

    fn as_any_mut(&mut self) -> Option<&mut dyn std::any::Any> {
        Some(self)
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::menu_list::MenuList;
    use teksilo_core::accesskit::Role;
    use teksilo_core::event::Modifiers;
    use teksilo_core::widget_tree::WidgetTree;

    fn tree() -> WidgetTree {
        WidgetTree::new().with_theme(teksilo_core::presets::intui::light())
    }

    fn layout(tree: &mut WidgetTree) {
        tree.layout(SizeProposal::exact(400.0, 300.0));
    }

    // --- `MenuItemStyle::highlighted_label_role` ---

    /// A style that fills a highlighted row with a saturated colour has to
    /// be able to recolour the label on top of it, and it cannot do that
    /// from `make_body` — `MenuItem` builds its label first.
    #[derive(Debug, Default, Clone, Copy)]
    struct OnAccentHighlightStyle;

    impl teksilo_core::styles::MenuItemStyle for OnAccentHighlightStyle {
        fn make_body(
            &self,
            cfg: &MenuItemStyleConfig,
            ctx: &mut teksilo_core::build_context::BuildContext,
        ) -> WidgetId {
            crate::styles::RecipeMenuItemStyle::default().make_body(cfg, ctx)
        }

        fn highlighted_label_role(&self) -> Option<TextRole> {
            Some(TextRole::OnAccent)
        }
    }

    /// A theme whose `text_on_accent` differs from `text_primary`. IntUI's
    /// are both black — it pairs black labels with its teal accent — so
    /// the stock preset cannot tell a flipped label from an unflipped one.
    fn discriminating_theme() -> teksilo_core::Theme {
        let mut t = teksilo_core::presets::intui::light();
        t.colors.text_on_accent = teksilo_tokens::Color::WHITE;
        assert_ne!(t.colors.text_primary, t.colors.text_on_accent);
        t
    }

    fn glyph_colors(tree: &mut WidgetTree) -> Vec<[u8; 4]> {
        tree.render()
            .glyphs
            .iter()
            .map(|g| {
                let q = |v: f32| (v.clamp(0.0, 1.0) * 255.0).round() as u8;
                [q(g.color[0]), q(g.color[1]), q(g.color[2]), q(g.color[3])]
            })
            .collect()
    }

    fn rgba8(c: teksilo_tokens::Color) -> [u8; 4] {
        let q = |v: f32| (v.clamp(0.0, 1.0) * 255.0).round() as u8;
        [q(c.r()), q(c.g()), q(c.b()), q(c.a())]
    }

    /// Build a menu row under `theme`, optionally hover it with a real
    /// pointer move, and report the glyph colours it paints.
    fn row_glyph_colors(theme: teksilo_core::Theme, hovered: bool, styled: bool) -> Vec<[u8; 4]> {
        let mut t = WidgetTree::new()
            .with_theme(theme)
            .with_text_backend(std::rc::Rc::new(std::cell::RefCell::new(
                teksilo_canvas::MockTextBackend::new(),
            )));
        let mut item = MenuItem::new(lit!("Open"));
        if styled {
            item = item.style(OnAccentHighlightStyle);
        }
        let id = t.add(item);
        layout(&mut t);
        if hovered {
            // A real pointer move rather than poking the interaction
            // signal: it exercises the same path the running app takes,
            // and the signal is private to `build`.
            t.pointer_move(t.bounds(id).center());
            layout(&mut t);
        }
        glyph_colors(&mut t)
    }

    /// The default is `None`, and a row under it keeps its own mapping
    /// however it is highlighted — the behaviour IntUI and Fluent rely on.
    #[test]
    fn a_style_without_the_hook_leaves_the_highlighted_label_alone() {
        let theme = discriminating_theme();
        let primary = rgba8(theme.colors.text_primary);
        let on_accent = rgba8(theme.colors.text_on_accent);

        let colors = row_glyph_colors(theme, true, false);
        assert!(colors.contains(&primary));
        assert!(!colors.contains(&on_accent));
    }

    /// …and a style that declares it flips the label while highlighted.
    #[test]
    fn the_hook_flips_the_label_of_a_highlighted_row() {
        let theme = discriminating_theme();
        let on_accent = rgba8(theme.colors.text_on_accent);
        assert!(row_glyph_colors(theme, true, true).contains(&on_accent));
    }

    /// An idle row must keep its normal label even under a style that
    /// declares the hook, or every row in the menu would read as chosen.
    #[test]
    fn the_hook_does_not_touch_an_idle_row() {
        let theme = discriminating_theme();
        let primary = rgba8(theme.colors.text_primary);
        let on_accent = rgba8(theme.colors.text_on_accent);

        let colors = row_glyph_colors(theme, false, true);
        assert!(colors.contains(&primary));
        assert!(!colors.contains(&on_accent));
    }

    // --- Role coverage ---

    fn a11y_node(
        update: &teksilo_core::accesskit::TreeUpdate,
        id: teksilo_core::widget_id::WidgetId,
    ) -> &teksilo_core::accesskit::Node {
        let nid = teksilo_core::accessibility::widget_id_to_node_id(id);
        update
            .nodes
            .iter()
            .find(|(node_id, _)| *node_id == nid)
            .map(|(_, n)| n)
            .expect("widget present in the accessibility tree")
    }

    // --- Trailing hint (descriptive phrase, not an accelerator) ---

    /// The whole point of `trailing_hint` over `shortcut_label`: a phrase like
    /// "inside" must reach AT as a *description*. Routed through
    /// `keyboard_shortcut` (as `shortcut_label` does) a screen reader would
    /// announce it as a chord the user should press.
    #[test]
    fn trailing_hint_is_announced_as_a_description_not_a_chord() {
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Scene")).trailing_hint(lit!("inside"))));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);
        let update = t.sync_accessibility();
        let node = a11y_node(&update, item_id);
        assert_eq!(node.description(), Some("inside"));
        assert_eq!(
            node.keyboard_shortcut(),
            None,
            "a descriptive hint must never be announced as a keyboard shortcut"
        );
    }

    /// The sibling guarantee — `shortcut_label` keeps its accelerator
    /// semantics, and does not leak into the description slot.
    #[test]
    fn shortcut_label_stays_a_chord_and_sets_no_description() {
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Save")).shortcut_label("Ctrl+S")));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);
        let update = t.sync_accessibility();
        let node = a11y_node(&update, item_id);
        assert_eq!(node.keyboard_shortcut(), Some("Ctrl+S"));
        assert_eq!(node.description(), None);
    }

    /// Both may coexist: the chord and the phrase occupy the same trailing
    /// row but neither displaces the other, in the render or in AT.
    #[test]
    fn a_chord_and_a_hint_coexist_without_displacing_each_other() {
        let mut t = tree();
        let list_id = t.add(
            MenuList::new().item(
                MenuItem::new(lit!("Duplicate"))
                    .shortcut_label("Ctrl+D")
                    .trailing_hint(lit!("after")),
            ),
        );
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);
        let update = t.sync_accessibility();
        let node = a11y_node(&update, item_id);
        assert_eq!(node.keyboard_shortcut(), Some("Ctrl+D"));
        assert_eq!(node.description(), Some("after"));
    }

    #[test]
    fn plain_item_emits_role_menuitem() {
        let mut t = tree();
        let list_id = t.add(MenuList::new().item(MenuItem::new(lit!("Save"))));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);
        let info = t.accessibility_node(item_id);
        assert_eq!(info.role(), Role::MenuItem);
        assert_eq!(info.name(), Some("Save"));
    }

    #[test]
    fn checked_emits_role_menuitemcheckbox() {
        let checked = Signal::new(false);
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Word Wrap")).checked(checked)));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemCheckBox);
        let info = t.accessibility_node(item_id);
        assert_eq!(info.role(), Role::MenuItemCheckBox);
        assert_eq!(info.name(), Some("Word Wrap"));
        assert!(!info.is_toggled());
    }

    #[test]
    fn check_state_emits_role_menuitemcheckbox() {
        let state = Signal::new(CheckState::Unchecked);
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Show Inspector")).check_state(state)));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemCheckBox);
        let info = t.accessibility_node(item_id);
        assert_eq!(info.role(), Role::MenuItemCheckBox);
    }

    #[test]
    fn radio_emits_role_menuitemradio() {
        let sel = Signal::new(0_usize);
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Light")).radio(0, sel.clone())));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemRadio);
        let info = t.accessibility_node(item_id);
        assert_eq!(info.role(), Role::MenuItemRadio);
        assert!(info.is_toggled());
    }

    // --- Activation: state mutation ---

    #[test]
    fn checked_click_flips_signal() {
        let checked = Signal::new(false);
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Word Wrap")).checked(checked.clone())));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemCheckBox);
        t.click(item_id);
        assert!(checked.get());
        // Re-add and click again to confirm round-trip — but the menu
        // already dismissed; rebuild a fresh tree to test the second flip.
        let mut t2 = tree();
        let checked2 = Signal::new(true);
        let list_id2 = t2
            .add(MenuList::new().item(MenuItem::new(lit!("Word Wrap")).checked(checked2.clone())));
        layout(&mut t2);
        let item_id2 = first_descendant_with_role(&t2, list_id2, Role::MenuItemCheckBox);
        t2.click(item_id2);
        assert!(!checked2.get());
    }

    #[test]
    fn reflect_checked_emits_role_and_reflects_signal() {
        let visible = Signal::new(true);
        let mut t = tree();
        let list_id = t.add(
            MenuList::new().item(MenuItem::new(lit!("Show Outline")).reflect_checked(visible)),
        );
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemCheckBox);
        let info = t.accessibility_node(item_id);
        assert_eq!(info.role(), Role::MenuItemCheckBox);
        assert!(
            info.is_toggled(),
            "checkmark reflects the bound signal (true)"
        );
    }

    #[test]
    fn reflect_checked_click_does_not_write_signal() {
        // The defining property: activation is reflect-only — the bound signal's
        // truth lives elsewhere, so clicking must NOT flip it (the on_activate /
        // intent owns the change).
        let visible = Signal::new(false);
        let mut t = tree();
        let list_id = t.add(
            MenuList::new()
                .item(MenuItem::new(lit!("Show Outline")).reflect_checked(visible.clone())),
        );
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemCheckBox);
        t.click(item_id);
        assert!(
            !visible.get(),
            "reflect_checked must not write the bound signal on click"
        );
    }

    #[test]
    fn check_state_click_cycles_two_states_not_three() {
        // Mirror Checkbox: click toggles Unchecked <-> Checked only.
        // Indeterminate (external) promotes to Checked on click.
        let state = Signal::new(CheckState::Unchecked);
        let mut t = tree();
        let list_id = t
            .add(MenuList::new().item(MenuItem::new(lit!("Inspector")).check_state(state.clone())));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemCheckBox);
        t.click(item_id);
        assert_eq!(state.get(), CheckState::Checked);

        let state2 = Signal::new(CheckState::Checked);
        let mut t2 = tree();
        let list_id2 = t2.add(
            MenuList::new().item(MenuItem::new(lit!("Inspector")).check_state(state2.clone())),
        );
        layout(&mut t2);
        let item_id2 = first_descendant_with_role(&t2, list_id2, Role::MenuItemCheckBox);
        t2.click(item_id2);
        assert_eq!(state2.get(), CheckState::Unchecked);

        let state3 = Signal::new(CheckState::Indeterminate);
        let mut t3 = tree();
        let list_id3 = t3.add(
            MenuList::new().item(MenuItem::new(lit!("Inspector")).check_state(state3.clone())),
        );
        layout(&mut t3);
        let item_id3 = first_descendant_with_role(&t3, list_id3, Role::MenuItemCheckBox);
        t3.click(item_id3);
        // Indeterminate -> Checked (promotion, not cycle to Unchecked).
        assert_eq!(state3.get(), CheckState::Checked);
    }

    #[test]
    fn radio_click_writes_value_to_shared_signal() {
        let sel = Signal::new(0_usize);
        let mut t = tree();
        let _list_id = t.add(
            MenuList::new()
                .item(MenuItem::new(lit!("Light")).radio(0, sel.clone()))
                .item(MenuItem::new(lit!("Dark")).radio(1, sel.clone()))
                .item(MenuItem::new(lit!("System")).radio(2, sel.clone())),
        );
        layout(&mut t);
        // Find the "Dark" item by label.
        let dark_id = t
            .find_by_label("Dark")
            .expect("Dark menu item should exist");
        t.click(dark_id);
        assert_eq!(sel.get(), 1);
    }

    #[test]
    fn checked_space_keypress_flips_signal() {
        let checked = Signal::new(false);
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Word Wrap")).checked(checked.clone())));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemCheckBox);
        t.focus(item_id);
        t.press_key(Key::Space, Modifiers::NONE);
        assert!(checked.get());
    }

    #[test]
    fn radio_external_signal_change_reflects_in_at() {
        // The bound `Signal<usize>` is the source of truth; clicking is
        // only one path. An external write must flip every item's
        // is_toggled() the next time the AT walker reads it.
        let sel = Signal::new(0_usize);
        let mut t = tree();
        let list_id = t.add(
            MenuList::new()
                .item(MenuItem::new(lit!("Light")).radio(0, sel.clone()))
                .item(MenuItem::new(lit!("Dark")).radio(1, sel.clone())),
        );
        layout(&mut t);
        let light_id = t.find_by_label("Light").expect("Light exists");
        let dark_id = t.find_by_label("Dark").expect("Dark exists");

        assert!(t.accessibility_node(light_id).is_toggled());
        assert!(!t.accessibility_node(dark_id).is_toggled());

        sel.set(1);
        let _ = list_id;
        assert!(!t.accessibility_node(light_id).is_toggled());
        assert!(t.accessibility_node(dark_id).is_toggled());
    }

    // --- Reactive role state ---

    #[test]
    fn checked_at_state_reflects_signal() {
        let checked = Signal::new(true);
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Word Wrap")).checked(checked.clone())));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItemCheckBox);
        assert!(t.accessibility_node(item_id).is_toggled());
        checked.set(false);
        assert!(!t.accessibility_node(item_id).is_toggled());
    }

    // --- Mnemonic plumbing ---

    #[test]
    fn ampersand_stripped_from_at_name() {
        // The `&` marker is parsed out of the label so screen readers
        // don't announce "ampersand Save" — they announce "Save".
        let mut t = tree();
        let list_id = t.add(MenuList::new().item(MenuItem::new(lit!("&Save"))));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);
        let info = t.accessibility_node(item_id);
        assert_eq!(info.name(), Some("Save"));
    }

    #[test]
    fn mnemonic_parsed_from_label_when_builder_returns() {
        // Build the item, drop it back to inspect — the mnemonic
        // accessor should reflect the parse.
        let mut mi = MenuItem::new(lit!("&File"));
        mi.ensure_mnemonic_parsed();
        let m = mi.mnemonic().expect("mnemonic exists");
        assert_eq!(m.stripped, "File");
        assert_eq!(m.key_lower, Some('f'));
    }

    // --- Plain item AT smoke ---

    // --- Helpers ---

    fn first_descendant_with_role(t: &WidgetTree, from: WidgetId, role: Role) -> WidgetId {
        // BFS through the tree starting at `from`.
        let mut queue = std::collections::VecDeque::new();
        queue.push_back(from);
        while let Some(id) = queue.pop_front() {
            if t.accessibility_node(id).role() == role {
                return id;
            }
            for child in t.children(id) {
                queue.push_back(child);
            }
        }
        panic!("no descendant of {from:?} has role {role:?}");
    }

    // --- Regression: shortcut-registry churn must not rebuild a
    //     shortcut-bearing menu item (which would drop its click) ---

    /// Every widget id in the subtree rooted at `from`, breadth-first.
    fn subtree(t: &WidgetTree, from: WidgetId) -> Vec<WidgetId> {
        let mut out = Vec::new();
        let mut queue = std::collections::VecDeque::new();
        queue.push_back(from);
        while let Some(id) = queue.pop_front() {
            out.push(id);
            for child in t.children(id) {
                queue.push_back(child);
            }
        }
        out
    }

    /// Regression: a signal-bound `.enabled(...)` that starts `false` and
    /// later flips `true` must not leave the item on a permanent
    /// `NotAllowed` cursor. Menu-bar Format/Go rows hit this path — they
    /// are built dormant before any editor is attached, then enable when
    /// a scene has focus.
    #[test]
    fn menu_item_cursor_stays_pointer_after_enabled_signal_flips_true() {
        use teksilo_canvas::Point;
        use teksilo_core::widget::CursorIcon;

        let enabled = Signal::new(false);
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Bold")).enabled(enabled.clone())));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);
        let bounds = t.bounds(item_id);
        let center = Point::new(
            bounds.origin().x + bounds.size().width / 2.0,
            bounds.origin().y + bounds.size().height / 2.0,
        );

        // Still disabled at first hover: framework gates PointerEnter, so
        // the item never applies its node_cursor — cursor stays Default.
        t.pointer_move(center);
        // Flip enablement without rebuilding the item (the real menubar
        // path: signals update, paint/AT follow, handlers stay put).
        enabled.set(true);
        // Leave and re-enter so PointerEnter re-applies node_cursor under
        // the now-enabled gate.
        t.pointer_move(Point::new(0.0, 0.0));
        layout(&mut t); // flush effective_enabled + any dirty paint
        t.pointer_move(center);
        assert_eq!(
            t.current_cursor(),
            CursorIcon::Pointer,
            "enabled menu item must show Pointer, not a build-time NotAllowed snapshot"
        );
    }

    #[test]
    fn menu_item_with_shortcut_not_rebuilt_on_unrelated_shortcut_churn() {
        use teksilo_core::event::Key;
        use teksilo_core::shortcut::Shortcut;

        let mut t = tree();
        t.shortcut_registry_mut().register(
            Shortcut::new("test.cmd")
                .primary(KeyStroke::ctrl(Key::K))
                .build(),
        );
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("New")).for_shortcut("test.cmd")));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);

        // Snapshot the item's subtree identity. A rebuild re-creates the
        // item's children (label / accelerator / chevron) with fresh ids.
        let before = subtree(&t, item_id);

        // Register an UNRELATED shortcut — exactly what a widget that
        // declares a scoped shortcut in build() does on every rebuild —
        // and flush pending rebuilds via layout. The old code bound the
        // GLOBAL shortcut version at `Rebuild` on every shortcut-bearing
        // item, so this bump rebuilt the item, tearing down its gesture
        // arena and dropping in-flight clicks (the reported regression).
        t.shortcut_registry_mut().register(
            Shortcut::new("unrelated.cmd")
                .primary(KeyStroke::ctrl(Key::J))
                .build(),
        );
        layout(&mut t);

        let after = subtree(&t, item_id);
        assert_eq!(
            before, after,
            "a shortcut-bearing menu item must NOT rebuild when an unrelated \
             shortcut is registered; its accelerator now updates as a leaf"
        );
    }

    // --- Regression: a rebuilt item must not leak its tooltip ---

    /// Rebuilding a tooltip-bearing menu item must neither leak the old
    /// tooltip's widgets nor lose the tooltip.
    ///
    /// `build()` consumes the tooltip source (`.take()`), so a second build
    /// attaches nothing: the entry that survives points at the *previous*
    /// build's body, which the rebuild has just destroyed. Every later rebuild
    /// then strands one more content subtree — parentless by construction, so
    /// no teardown walk can ever reach it — in the arena for the process's
    /// lifetime.
    #[test]
    fn rebuilding_a_menu_item_neither_leaks_nor_loses_its_tooltip() {
        let mut t = tree();
        let list_id = t.add(MenuList::new().item(MenuItem::new(lit!("Bold")).tooltip(lit!("Tip"))));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);

        let baseline = t.widget_count();
        for _ in 0..10 {
            t.arena_mark_needs_rebuild_for_testing(item_id);
            layout(&mut t);
            assert_eq!(
                t.tooltip_entry_count(),
                1,
                "the item must keep exactly one tooltip across rebuilds"
            );
        }

        assert_eq!(
            t.widget_count(),
            baseline,
            "each rebuild stranded a tooltip content subtree in the arena"
        );
    }

    /// **A swatch is not a glyph that repeats the label.**
    ///
    /// A menu icon normally means what the label means, so it takes the row's colour.
    /// An icon whose colour *is* the content — a tag's swatch, a status light — has
    /// nothing left to say once the row has tinted it to its own foreground. The
    /// opt-in leaves it alone; without it, the row wins, which is the default every
    /// other row wants.
    #[test]
    fn an_icon_that_keeps_its_color_is_not_tinted_by_the_row() {
        // A colour no theme role resolves to, so finding it among the painted glyphs
        // can only mean the icon's own was kept.
        let swatch = teksilo_tokens::Color::from_hex("#e91e63");

        let painted = |keep: bool| {
            let mut t = WidgetTree::new()
                .with_theme(teksilo_core::presets::intui::light())
                .with_text_backend(std::rc::Rc::new(std::cell::RefCell::new(
                    teksilo_canvas::MockTextBackend::new(),
                )));
            let mut item = MenuItem::new(lit!("Places"))
                .icon(IconWidget::checkmark(MENU_INDICATOR_GLYPH_SIZE).color(swatch));
            if keep {
                item = item.icon_keeps_color();
            }
            t.add(item);
            layout(&mut t);
            // The checkmark is vector artwork, so it lands in `paths` rather than
            // among the label's glyphs.
            t.render()
                .paths
                .iter()
                .map(|p| {
                    let q = |v: f32| (v.clamp(0.0, 1.0) * 255.0).round() as u8;
                    [q(p.color[0]), q(p.color[1]), q(p.color[2]), q(p.color[3])]
                })
                .collect::<Vec<_>>()
        };

        assert!(
            painted(true).contains(&rgba8(swatch)),
            "the swatch must keep the colour it was given"
        );
        assert!(
            !painted(false).contains(&rgba8(swatch)),
            "and without the opt-in the row must still tint its icon, or every \
             existing menu icon would stop following hover and disabled"
        );
    }

    /// The same contract for the rich (registry-keyed) tier, which carries a
    /// whole Accordion body — ~15 widgets per stranded copy.
    #[test]
    fn rebuilding_a_menu_item_neither_leaks_nor_loses_its_rich_tooltip() {
        let mut t = tree();
        let list_id =
            t.add(MenuList::new().item(MenuItem::new(lit!("Bold")).rich_tooltip("bold-details")));
        layout(&mut t);
        let item_id = first_descendant_with_role(&t, list_id, Role::MenuItem);

        let baseline = t.widget_count();
        for _ in 0..10 {
            t.arena_mark_needs_rebuild_for_testing(item_id);
            layout(&mut t);
            assert_eq!(t.tooltip_entry_count(), 1);
        }

        assert_eq!(
            t.widget_count(),
            baseline,
            "each rebuild stranded a rich-tooltip content subtree in the arena"
        );
    }
}