kui_core/input.rs
1//! Input in, events out.
2//!
3//! A runner feeds [`InputEvent`]s, in logical coordinates, to
4//! [`Core::handle_input`](crate::Core::handle_input). The core hit-tests
5//! them against the frame that last finished (the standard immediate-mode
6//! trade: a click lands on what was drawn) and answers with [`UiEvent`]s:
7//! plain data, each tagged with the node's key, the origin that declared
8//! the node (the host app or an extension) and the window, so the runner
9//! can route it without knowing what either looks like.
10//!
11//! What an input becomes depends on what the node under it declared: a
12//! primary click on an `on_click` node is the node's tag as the payload,
13//! an `on_hover` node makes `{kind:"hover", ...}` events, a focused
14//! editor takes [`InputEvent::Text`] and [`InputEvent::Key`], a key sink
15//! takes [`InputEvent::KeyDown`] and [`InputEvent::KeyUp`].
16//!
17//! ```rust
18//! use kui_core::{Core, InputEvent, NodeSpec, Size, Vec2};
19//!
20//! let mut core = Core::new();
21//! let mut ui = core.frame(Size::new(200.0, 100.0), 1.0);
22//! ui.leaf_keyed("ok", NodeSpec::row().size(80.0, 30.0).on_click("ok"));
23//! ui.finish();
24//!
25//! // A click is a move, a press and a release; the release resolves it.
26//! core.handle_input(InputEvent::CursorMoved(Vec2::new(10.0, 10.0)));
27//! core.handle_input(InputEvent::mouse_down(1));
28//! let events = core.handle_input(InputEvent::mouse_up());
29//! assert_eq!(events.len(), 1);
30//! assert_eq!(events[0].payload.as_str(), Some("ok"));
31//! assert_eq!(Some(events[0].key), core.key_of("ok"));
32//! ```
33
34use crate::cursor::CursorShape;
35use crate::geom::{Rect, Vec2};
36use crate::key::Key;
37use crate::tree::OriginId;
38use crate::value::Value;
39use crate::window::{WindowCommand, WindowId, WindowRole};
40
41#[derive(Clone, Debug, PartialEq)]
42pub enum InputEvent {
43 /// Logical coordinates.
44 CursorMoved(Vec2),
45 CursorLeft,
46 /// A button press. `clicks` is driver-measured multi-click state
47 /// (1 = single, 2 = double, 3+ = triple) — the core is clock-free, so
48 /// click timing lives with whoever owns the event loop. Only the
49 /// primary button presses, drags and clicks; see [`MouseButton`].
50 MouseDown {
51 button: MouseButton,
52 clicks: u8,
53 },
54 /// The release of `button`. A non-primary release resolves nothing:
55 /// the primary button is the one that can be holding a press.
56 MouseUp {
57 button: MouseButton,
58 },
59 /// Wheel/trackpad delta in logical px (positive y = scroll up), a
60 /// scroll gesture of its own: the same as
61 /// [`InputEvent::ScrollGesture`] with `begins: true`. What a driver
62 /// that cannot tell one gesture from the next sends, and what every
63 /// door taking a bare delta (`kui_input_scroll`, Node's `scroll`)
64 /// feeds.
65 Scroll(Vec2),
66 /// A wheel or trackpad delta that is part of a scroll *gesture*:
67 /// a swipe and its momentum, or a wheel spun without
68 /// a pause. `begins` is true on a gesture's first event. The target
69 /// is chosen then, per axis — the innermost scroller under the
70 /// pointer that can still move that way, a scroller at its limit
71 /// passing the gesture to the one around it unless it says
72 /// `overscroll: contain`, an `on_scroll` node taking the axes its
73 /// `scroll_axes` names — and the rest of the gesture goes on to that
74 /// target (it is *latched*) wherever the pointer or the content
75 /// under it has gone since, until the next `begins`. An axis the
76 /// gesture had not moved on picks its target the first time it
77 /// does; a target whose node is gone, or behind a modal, is picked
78 /// again. Where gestures begin and end is the driver's to say — the
79 /// core is clock-free: the native runner begins one after a 200 ms
80 /// pause, on a switch between a wheel's notches and a trackpad's
81 /// pixels, and for a wheel on a pointer move.
82 ScrollGesture {
83 delta: Vec2,
84 begins: bool,
85 },
86 /// Committed text (typing, paste). Routed to the focused editor; with
87 /// none, a printable character presses or searches the focused
88 /// control. Never delivered to an `onKey` sink: the raw press already
89 /// reached it as a `key` event carrying `text`, and a sink hearing
90 /// both would type every character twice.
91 Text(String),
92 /// Text an IME committed at the end of a composition.
93 /// Routed like `Text` to a focused editor; otherwise delivered to the
94 /// focused sink as `{kind:"text", text, tag}` — the one committed text
95 /// the platform never reports as a key press with `text`, so it is the
96 /// one a sink has to be told about. Drivers send `Ime::Commit` here and
97 /// keep typing on `Text`.
98 Commit(String),
99 /// The clipboard's answer to a paste the app asked for
100 /// (`Core::request_paste`, a menu's Paste), with what the pasteboard
101 /// said about it. Routed exactly as [`InputEvent::Commit`]
102 /// is — a focused editor takes it as typing, a focused sink hears
103 /// `{kind:"text", text, tag}` — and the sink's event gains
104 /// `concealed: true` and `transient: true` for the markers that are
105 /// set, and nothing for those that are not.
106 ///
107 /// A variant of its own rather than two fields on `Commit`, so every
108 /// match on a commit still compiles and a driver that answers with a
109 /// bare `Commit` (an older C or Node host) is still an answer: both
110 /// clear the one-ask gate, and a `Commit` is a paste
111 /// whose pasteboard marked nothing.
112 Paste {
113 text: String,
114 marks: ClipboardMarks,
115 },
116 /// In-progress IME composition (text and the caret byte range inside
117 /// it), inserted inline at the focused editor's caret as an uncommitted
118 /// marked range: following text shifts and the paragraph rewraps.
119 /// Empty text cancels it; the commit arrives separately as `Commit`.
120 /// With no editor focused it goes to the focused sink as
121 /// `{kind:"preedit", text, cursor: [start, end] | null, tag}`, an
122 /// empty `text` meaning the composition ended without a commit.
123 Preedit(String, Option<(usize, usize)>),
124 /// Navigation/editing key. Routed to the focused editor.
125 Key(EditKey, Mods),
126 /// A full key press, routed to whatever holds key focus (see
127 /// `Core::set_key_focus`). Apps that own their own text model take
128 /// keys through this instead of the editor path.
129 KeyDown(KeyPress),
130 /// The release of a key, routed the way [`InputEvent::KeyDown`] is —
131 /// so a held-key interaction (WASD, press-and-hold to preview, a key
132 /// that arms a mode) is a pair of events, not a guess about timing.
133 /// Only a key whose press was delivered produces one: a release the
134 /// focused sink never saw the press of is dropped, and focus moving
135 /// away while a key is held synthesizes the release first (see
136 /// `Core::release_held_keys`). The core clears `text` and `repeat` on
137 /// the way out — a release inserts nothing and never repeats.
138 KeyUp(KeyPress),
139 /// A request from assistive technology (see [`crate::access`]):
140 /// activate, focus, set an editor's text, scroll. Resolved in the core
141 /// the way the pointer or keyboard equivalent would be, so the app
142 /// sees the same events either way.
143 Access(crate::access::AccessRequest),
144 /// The physical modifier state changed. Reaches the host as a
145 /// `{kind="modifiers", shift, ctrl, alt, super}` event on the root (an
146 /// Elm-style app keeps it in its model and lets the view react — a
147 /// Cmd-held drag overlay, a hint bar) and is queryable while building
148 /// a frame (`Ui::modifiers`).
149 Modifiers(KeyMods),
150 /// A force click at a point in logical viewport coordinates: the
151 /// press deepened past the second stage of a Force Touch trackpad.
152 ///
153 /// Routed like the secondary press — the topmost node under the point,
154 /// no focus moved, no caret placed, no click — because it arrives
155 /// *during* an ordinary press that is still running, and the click
156 /// that press produces still happens afterwards. Over text it selects
157 /// the word and asks the host to look it up; anywhere else it reaches
158 /// a node declaring `on_force_click`.
159 ///
160 /// macOS-only in practice: no other platform winit supports reports
161 /// pressure at all, and there a user can switch it off.
162 ForceClick(Vec2),
163 /// Files dragged in from the OS are over the window at `at` (logical
164 /// viewport coordinates) — entering and moving alike: the core tells
165 /// the two apart by whether the zone under the point changed, and a
166 /// change is the old zone's `leave` then the new one's `enter`.
167 /// `paths` are the OS paths as the driver reported them.
168 /// A repeat at the same point emits nothing.
169 DragFiles {
170 paths: Vec<String>,
171 at: Vec2,
172 },
173 /// The dragged files were released at `at`: the zone there hears
174 /// `{kind="drop", phase="drop"}` and nothing hears a `leave`; with no
175 /// zone there, nothing is emitted and whatever was lit hears its
176 /// `leave`.
177 DropFiles {
178 paths: Vec<String>,
179 at: Vec2,
180 },
181 /// The dragged files left the window, or the OS ended the drag
182 /// elsewhere: the lit zone hears its `leave`.
183 DragCancel,
184 /// A file dialog's answer: the paths the user picked,
185 /// none for a dialog cancelled. Whoever asked with
186 /// `Core::request_files` hears `{kind:"files", paths, tag}`; with no
187 /// ask outstanding it is dropped.
188 Files(Vec<String>),
189}
190
191/// What the pasteboard said about the text a paste brought back: the markers
192/// password managers set on a copied secret, after the
193/// convention at nspasteboard.org that 1Password, Bitwarden, KeePassXC and
194/// the macOS clipboard managers follow. Read by the driver, which owns the
195/// clipboard, and handed over with the text as [`InputEvent::Paste`].
196///
197/// Where the runner reads each:
198///
199/// - `concealed`: the macOS pasteboard type `org.nspasteboard.ConcealedType`;
200/// on Windows the registered format
201/// `ExcludeClipboardContentFromMonitorProcessing` being present.
202/// - `transient`: `org.nspasteboard.TransientType`; on Windows the format
203/// `CanIncludeInClipboardHistory` holding 0.
204///
205/// The runner does not read them on Linux yet — KDE's
206/// `x-kde-passwordManagerHint: secret` is a MIME type arboard writes but
207/// cannot list — so there both stay false.
208#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Hash)]
209pub struct ClipboardMarks {
210 /// The text is a secret: do not show it, log it or keep it anywhere.
211 pub concealed: bool,
212 /// The text is on the clipboard for a moment: do not keep it in a
213 /// history.
214 pub transient: bool,
215}
216
217impl ClipboardMarks {
218 /// Both markers: what a password manager puts on a secret it copies,
219 /// and what `Core::set_clipboard_secret` writes.
220 pub const SECRET: Self = Self {
221 concealed: true,
222 transient: true,
223 };
224
225 /// Neither marker set.
226 pub fn is_empty(self) -> bool {
227 !self.concealed && !self.transient
228 }
229
230 /// As bits, the C ABI's spelling: `KUI_PASTE_CONCEALED` 1,
231 /// `KUI_PASTE_TRANSIENT` 2.
232 pub fn bits(self) -> u32 {
233 self.concealed as u32 | (self.transient as u32) << 1
234 }
235
236 /// From [`ClipboardMarks::bits`]; unknown bits are ignored.
237 pub fn from_bits(bits: u32) -> Self {
238 Self {
239 concealed: bits & 1 != 0,
240 transient: bits & 2 != 0,
241 }
242 }
243}
244
245/// Which button a press came from — driver-facing rather than shaped after
246/// any one windowing library, so every driver maps its own vocabulary onto
247/// this one.
248///
249/// Only [`MouseButton::Primary`] drives the pointer model: it presses,
250/// drags, places the caret and produces `on_click`. A
251/// [`MouseButton::Secondary`] press asks the node under it for a context
252/// menu (`NodeSpec::on_context_menu`) and touches nothing else — not
253/// focus, not the caret, not a scrollbar thumb — because a right-click on
254/// a selection has to leave that selection alone. Every non-primary
255/// button, the secondary one included, reaches a node that claims it with
256/// `NodeSpec::on_button`: its press, the motion while it is
257/// held and its release, captured by that node; a claimed secondary press
258/// is that node's instead of a context menu. A non-primary press moves no
259/// focus, caret, selection or scrollbar either way.
260#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
261pub enum MouseButton {
262 /// The button that clicks and drags. The OS has already applied a
263 /// left-handed swap, so this is not necessarily the left one.
264 #[default]
265 Primary,
266 /// The context-menu button.
267 Secondary,
268 Middle,
269 /// A button this vocabulary does not name (back, forward, thumb
270 /// buttons), by driver index.
271 Other(u8),
272}
273
274impl MouseButton {
275 /// The number bindings pass buttons as: 0 primary, 1 secondary,
276 /// 2 middle, `3 + n` for `Other(n)`.
277 pub fn code(self) -> u32 {
278 match self {
279 MouseButton::Primary => 0,
280 MouseButton::Secondary => 1,
281 MouseButton::Middle => 2,
282 MouseButton::Other(n) => 3 + n as u32,
283 }
284 }
285
286 /// Inverse of [`MouseButton::code`]; anything past the named three is
287 /// an `Other`, saturating rather than wrapping.
288 pub fn from_code(code: u32) -> Self {
289 match code {
290 0 => MouseButton::Primary,
291 1 => MouseButton::Secondary,
292 2 => MouseButton::Middle,
293 n => MouseButton::Other((n - 3).min(u8::MAX as u32) as u8),
294 }
295 }
296
297 /// The three buttons that have a name, in code order. `Other` has no
298 /// name: a binding that needs one takes a [`MouseButton::code`].
299 pub const NAMED: [MouseButton; 3] = [
300 MouseButton::Primary,
301 MouseButton::Secondary,
302 MouseButton::Middle,
303 ];
304
305 /// The wire name of a named button (`"primary"`, `"secondary"`,
306 /// `"middle"`); `None` for an `Other`.
307 pub fn name(self) -> Option<&'static str> {
308 match self {
309 MouseButton::Primary => Some("primary"),
310 MouseButton::Secondary => Some("secondary"),
311 MouseButton::Middle => Some("middle"),
312 MouseButton::Other(_) => None,
313 }
314 }
315
316 /// The three named buttons by name, for bindings that spell them as
317 /// strings: the inverse of [`Self::name`].
318 pub fn from_name(name: &str) -> Option<Self> {
319 Self::NAMED.into_iter().find(|b| b.name() == Some(name))
320 }
321
322 /// The value a `button` event carries for this button: its name for a
323 /// named one, its [`MouseButton::code`] for an
324 /// `Other`.
325 pub fn to_value(self) -> Value {
326 match self.name() {
327 Some(name) => Value::str(name),
328 None => Value::Int(self.code() as i64),
329 }
330 }
331}
332
333/// Which of the non-primary buttons a node's `on_button` claims:
334/// [`Buttons::SECONDARY`], [`Buttons::MIDDLE`] and
335/// [`Buttons::OTHER`] (every button past the named three), or-ed together.
336/// A node declaring `on_button` claims [`Buttons::ALL`] unless it says
337/// otherwise. The primary button is never in it: that one presses, drags
338/// and clicks for every node.
339///
340/// The C ABI's spelling is the same bits (`KuiSpec.buttons`: 1 secondary,
341/// 2 middle, 4 other), a zeroed field meaning all three; the schema's is
342/// the names, `"secondary middle"`.
343#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
344pub struct Buttons(u8);
345
346impl Buttons {
347 /// Claims nothing: an `on_button` that hears no press.
348 pub const NONE: Self = Self(0);
349 /// The context-menu button. Claimed, its press is the owner's
350 /// `button` event instead of a `contextmenu` event or the stock menu.
351 pub const SECONDARY: Self = Self(1);
352 pub const MIDDLE: Self = Self(2);
353 /// Every button past the named three (back, forward, thumb buttons).
354 pub const OTHER: Self = Self(4);
355 pub const ALL: Self = Self(7);
356
357 /// Whether `button` is in the set. The primary button never is.
358 pub fn contains(self, button: MouseButton) -> bool {
359 let bit = match button {
360 MouseButton::Primary => return false,
361 MouseButton::Secondary => Self::SECONDARY,
362 MouseButton::Middle => Self::MIDDLE,
363 MouseButton::Other(_) => Self::OTHER,
364 };
365 self.0 & bit.0 != 0
366 }
367
368 /// As bits, the C ABI's spelling: 1 secondary, 2 middle, 4 other.
369 pub const fn bits(self) -> u32 {
370 self.0 as u32
371 }
372
373 /// From [`Buttons::bits`]; unknown bits are ignored. Zero is
374 /// [`Buttons::NONE`] here: it is the C binding that reads a zeroed
375 /// field as all three, being a field the host never set.
376 pub fn from_bits(bits: u32) -> Self {
377 Self((bits & Self::ALL.0 as u32) as u8)
378 }
379
380 /// From the schema's spelling: names separated by spaces or commas —
381 /// `"middle"`, `"secondary middle"`, `"secondary, middle, other"`. A
382 /// word that is none of the three is skipped, so a string of none of
383 /// them claims nothing: a typo never takes the secondary button away
384 /// from a context menu.
385 pub fn parse(names: &str) -> Self {
386 names.split(|c: char| c == ',' || c.is_whitespace()).fold(
387 Self::NONE,
388 |set, name| match name {
389 "secondary" => set | Self::SECONDARY,
390 "middle" => set | Self::MIDDLE,
391 "other" => set | Self::OTHER,
392 _ => set,
393 },
394 )
395 }
396}
397
398impl Default for Buttons {
399 fn default() -> Self {
400 Self::ALL
401 }
402}
403
404impl std::ops::BitOr for Buttons {
405 type Output = Self;
406 fn bitor(self, rhs: Self) -> Self {
407 Self(self.0 | rhs.0)
408 }
409}
410
411impl std::ops::BitOrAssign for Buttons {
412 fn bitor_assign(&mut self, rhs: Self) {
413 self.0 |= rhs.0;
414 }
415}
416
417impl InputEvent {
418 /// A primary-button press — the spelling drivers and tests want when
419 /// they only ever send one button.
420 pub fn mouse_down(clicks: u8) -> Self {
421 InputEvent::MouseDown {
422 button: MouseButton::Primary,
423 clicks,
424 }
425 }
426
427 /// A primary-button release.
428 pub fn mouse_up() -> Self {
429 InputEvent::MouseUp {
430 button: MouseButton::Primary,
431 }
432 }
433}
434
435/// Editing keys, decoupled from any windowing library's key codes.
436#[derive(Clone, Copy, Debug, PartialEq, Eq)]
437pub enum EditKey {
438 Left,
439 Right,
440 Up,
441 Down,
442 Home,
443 End,
444 PageUp,
445 PageDown,
446 Backspace,
447 Delete,
448 Enter,
449 Tab,
450 SelectAll,
451 /// Undo/redo of the edit widget's own history (drivers map the platform
452 /// chords; hosts with their own text model never see these — they take
453 /// the raw chord through `KeyDown`).
454 Undo,
455 Redo,
456 Escape,
457}
458
459impl EditKey {
460 /// Every editing key, in declaration order — the list a binding's
461 /// name table and a generated type union are checked against, so a
462 /// key added here reaches C, Node and TypeScript or fails a build.
463 pub const ALL: [EditKey; 16] = [
464 EditKey::Left,
465 EditKey::Right,
466 EditKey::Up,
467 EditKey::Down,
468 EditKey::Home,
469 EditKey::End,
470 EditKey::PageUp,
471 EditKey::PageDown,
472 EditKey::Backspace,
473 EditKey::Delete,
474 EditKey::Enter,
475 EditKey::Tab,
476 EditKey::SelectAll,
477 EditKey::Undo,
478 EditKey::Redo,
479 EditKey::Escape,
480 ];
481
482 /// The wire name a binding spells the key as (`"pageup"`,
483 /// `"selectall"`: lower case, no separator).
484 pub fn name(self) -> &'static str {
485 match self {
486 EditKey::Left => "left",
487 EditKey::Right => "right",
488 EditKey::Up => "up",
489 EditKey::Down => "down",
490 EditKey::Home => "home",
491 EditKey::End => "end",
492 EditKey::PageUp => "pageup",
493 EditKey::PageDown => "pagedown",
494 EditKey::Backspace => "backspace",
495 EditKey::Delete => "delete",
496 EditKey::Enter => "enter",
497 EditKey::Tab => "tab",
498 EditKey::SelectAll => "selectall",
499 EditKey::Undo => "undo",
500 EditKey::Redo => "redo",
501 EditKey::Escape => "escape",
502 }
503 }
504
505 /// The key a wire name spells: the inverse of [`Self::name`].
506 pub fn from_name(name: &str) -> Option<EditKey> {
507 Self::ALL.into_iter().find(|k| k.name() == name)
508 }
509}
510
511/// Modifier state for editing keys. `word` is Alt/Option (word-wise motion),
512/// `doc` is the platform primary modifier (line/document-wise motion).
513#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
514pub struct Mods {
515 pub shift: bool,
516 pub word: bool,
517 pub doc: bool,
518}
519
520impl Mods {
521 /// No modifier held: what the `with_*` steps start from —
522 /// `Mods::NONE.with_shift().with_word()`.
523 pub const NONE: Mods = Mods {
524 shift: false,
525 word: false,
526 doc: false,
527 };
528
529 pub const fn with_shift(mut self) -> Self {
530 self.shift = true;
531 self
532 }
533
534 pub const fn with_word(mut self) -> Self {
535 self.word = true;
536 self
537 }
538
539 pub const fn with_doc(mut self) -> Self {
540 self.doc = true;
541 self
542 }
543}
544
545/// A physical key press: the full keyboard, decoupled from any windowing
546/// library. [`EditKey`] is the input widget's closed navigation vocabulary;
547/// this is what apps that own their own text model bind against — an editor
548/// with modal keymaps, a game, a scripted panel.
549#[derive(Clone, Copy, Debug, PartialEq, Eq)]
550pub enum KeyCode {
551 /// A character-producing key, as the active layout produced it — `W`
552 /// and `$` arrive as themselves (shift already applied), which is what
553 /// keymaps bind against.
554 ///
555 /// A layout that produces something outside ASCII does not reach here:
556 /// the driver substitutes the US-QWERTY key at that position, as Shift
557 /// prints it (`J`, `:`; unshifted under Alt), so a keymap written in
558 /// Latin keeps working on a Cyrillic, Greek, Hebrew or Arabic layout
559 /// instead of matching nothing at all. `text` is still the layout's
560 /// own character. See [`KeyPress::from_layout`], [`KeyPress::physical`]:
561 /// the layout still wins whenever it speaks ASCII.
562 Char(char),
563 /// Function key: `F(1)` .. `F(35)`.
564 F(u8),
565 Left,
566 Right,
567 Up,
568 Down,
569 Home,
570 End,
571 PageUp,
572 PageDown,
573 Backspace,
574 Delete,
575 Enter,
576 Tab,
577 Escape,
578 Space,
579 Insert,
580 /// Print Screen / SysRq.
581 PrintScreen,
582 /// Pause / Break.
583 Pause,
584 /// The context-menu key (the one beside the right-hand Ctrl).
585 Menu,
586 /// The keypad's middle key with Num Lock off (X11's `KP_Begin`), and
587 /// Clear where a keyboard has one.
588 Clear,
589 /// The modifier keys themselves, which side in [`KeyPress::location`].
590 /// Heard only by a sink that asked for them
591 /// ([`crate::NodeSpec::modifier_keys`]): to every other sink a
592 /// modifier is only ever held, in [`KeyMods`], and a Shift pressed
593 /// between two keys of a sequence must not read as a key between
594 /// them.
595 Shift,
596 Ctrl,
597 Alt,
598 /// Command on a Mac, the Windows key, Super.
599 Super,
600 /// The lock keys, as keys; what they lock is [`KeyPress::locks`].
601 /// Modifier keys as far as delivery goes (see [`KeyCode::Shift`]).
602 CapsLock,
603 NumLock,
604 ScrollLock,
605 MediaPlay,
606 MediaPause,
607 MediaPlayPause,
608 MediaStop,
609 MediaNext,
610 MediaPrev,
611 MediaRecord,
612 MediaFastForward,
613 MediaRewind,
614 VolumeUp,
615 VolumeDown,
616 VolumeMute,
617 /// A key this vocabulary doesn't name; `KeyPress::text` may still carry
618 /// what it would insert.
619 Unknown,
620}
621
622/// Every named key with its payload name, in one table so
623/// [`KeyCode::name`] and [`KeyCode::from_name`] cannot drift apart —
624/// all but `Char` and `F`, which are spelled by rule.
625const NAMED_KEYS: [(KeyCode, &str); 38] = [
626 (KeyCode::Left, "left"),
627 (KeyCode::Right, "right"),
628 (KeyCode::Up, "up"),
629 (KeyCode::Down, "down"),
630 (KeyCode::Home, "home"),
631 (KeyCode::End, "end"),
632 (KeyCode::PageUp, "pageup"),
633 (KeyCode::PageDown, "pagedown"),
634 (KeyCode::Backspace, "backspace"),
635 (KeyCode::Delete, "delete"),
636 (KeyCode::Enter, "enter"),
637 (KeyCode::Tab, "tab"),
638 (KeyCode::Escape, "escape"),
639 (KeyCode::Space, "space"),
640 (KeyCode::Insert, "insert"),
641 (KeyCode::PrintScreen, "printscreen"),
642 (KeyCode::Pause, "pause"),
643 (KeyCode::Menu, "menu"),
644 (KeyCode::Clear, "clear"),
645 (KeyCode::Shift, "shift"),
646 (KeyCode::Ctrl, "ctrl"),
647 (KeyCode::Alt, "alt"),
648 (KeyCode::Super, "super"),
649 (KeyCode::CapsLock, "capslock"),
650 (KeyCode::NumLock, "numlock"),
651 (KeyCode::ScrollLock, "scrolllock"),
652 (KeyCode::MediaPlay, "mediaplay"),
653 (KeyCode::MediaPause, "mediapause"),
654 (KeyCode::MediaPlayPause, "mediaplaypause"),
655 (KeyCode::MediaStop, "mediastop"),
656 (KeyCode::MediaNext, "medianext"),
657 (KeyCode::MediaPrev, "mediaprev"),
658 (KeyCode::MediaRecord, "mediarecord"),
659 (KeyCode::MediaFastForward, "mediafastforward"),
660 (KeyCode::MediaRewind, "mediarewind"),
661 (KeyCode::VolumeUp, "volumeup"),
662 (KeyCode::VolumeDown, "volumedown"),
663 (KeyCode::VolumeMute, "volumemute"),
664];
665
666impl KeyCode {
667 /// Stable lowercase name for the data payload: `"a"`, `"f5"`, `"pageup"`.
668 /// Bindings in C and Lua match on these.
669 pub fn name(self) -> String {
670 match self {
671 KeyCode::Char(c) => c.to_string(),
672 KeyCode::F(n) => format!("f{n}"),
673 KeyCode::Unknown => "unknown".into(),
674 named => NAMED_KEYS
675 .iter()
676 .find(|(k, _)| *k == named)
677 .map_or("unknown", |(_, n)| n)
678 .into(),
679 }
680 }
681
682 /// Every key this vocabulary names but `Char` and `F`, with its
683 /// payload name — for a binding that lists them (the generated key
684 /// name types) and a test that walks them.
685 pub fn named() -> &'static [(KeyCode, &'static str)] {
686 &NAMED_KEYS
687 }
688
689 /// Whether this is a modifier or lock key — heard only by a sink
690 /// that asked for them ([`crate::NodeSpec::modifier_keys`]).
691 pub fn is_modifier(self) -> bool {
692 matches!(
693 self,
694 KeyCode::Shift
695 | KeyCode::Ctrl
696 | KeyCode::Alt
697 | KeyCode::Super
698 | KeyCode::CapsLock
699 | KeyCode::NumLock
700 | KeyCode::ScrollLock
701 )
702 }
703
704 /// The inverse of [`KeyCode::name`]: the name a binding spells a key
705 /// with. A single character is that character (already
706 /// layout-resolved, so `"W"` and `"$"` arrive as themselves), `"f1"`
707 /// .. `"f35"` a function key, and the rest are the names above.
708 /// `None` for a name this vocabulary does not know — every binding
709 /// that takes keys as strings parses them here, so they cannot drift
710 /// apart.
711 pub fn from_name(s: &str) -> Option<KeyCode> {
712 let mut chars = s.chars();
713 if let (Some(c), None) = (chars.next(), chars.next()) {
714 return Some(KeyCode::Char(c));
715 }
716 if let Some(n) = s.strip_prefix('f').and_then(|n| n.parse::<u8>().ok())
717 && (1..=35).contains(&n)
718 {
719 return Some(KeyCode::F(n));
720 }
721 if s == "unknown" {
722 return Some(KeyCode::Unknown);
723 }
724 NAMED_KEYS.iter().find(|(_, n)| *n == s).map(|(k, _)| *k)
725 }
726
727 /// What a press of this key types, for a door whose host did not say:
728 /// the character itself, a space for Space, nothing for any other
729 /// named key or under Ctrl, Alt or Super — the rule the winit runner
730 /// reads off the layout's own key.
731 ///
732 /// Asked of the key *as the layout named it*, never of the code
733 /// [`KeyPress::from_layout`] resolved: on a Russian layout ⇧ on the
734 /// key printed `;` binds as `:` and types `Ж`, and asking the stand-in
735 /// typed the `:` into an editor.
736 pub fn typed(self, mods: KeyMods) -> Option<String> {
737 if mods.ctrl || mods.alt || mods.super_key {
738 return None;
739 }
740 match self {
741 KeyCode::Char(c) => Some(c.to_string()),
742 KeyCode::Space => Some(" ".to_string()),
743 _ => None,
744 }
745 }
746}
747
748/// Which half of a key's life an event reports. Both halves arrive as one
749/// `{kind="key"}` payload — the way a drag's three phases and a hover's
750/// two do — so an app binds one handler and matches `phase`.
751#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
752pub enum KeyPhase {
753 #[default]
754 Down,
755 Up,
756}
757
758impl KeyPhase {
759 /// The payload spelling: `"down"` / `"up"`.
760 pub fn name(self) -> &'static str {
761 match self {
762 KeyPhase::Down => "down",
763 KeyPhase::Up => "up",
764 }
765 }
766}
767
768/// Where on the keyboard a key sits, for the keys that have twins: the
769/// left or right Shift, Ctrl, Alt or Super, and the keypad's digits,
770/// operators, Enter and (with Num Lock off) arrows beside the main
771/// block's. Everything else is `Standard`. `code` stays what the key is
772/// — the keypad's `1` is `Char('1')`, its Enter is `Enter` — so a keymap
773/// that does not care reads nothing new, and one that does (a terminal
774/// speaking kitty's keyboard protocol, a game) reads this.
775#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Hash)]
776pub enum KeyLocation {
777 #[default]
778 Standard,
779 Left,
780 Right,
781 Numpad,
782}
783
784impl KeyLocation {
785 /// The payload spelling: `"standard"`, `"left"`, `"right"`, `"numpad"`.
786 pub fn name(self) -> &'static str {
787 match self {
788 KeyLocation::Standard => "standard",
789 KeyLocation::Left => "left",
790 KeyLocation::Right => "right",
791 KeyLocation::Numpad => "numpad",
792 }
793 }
794
795 pub fn from_name(s: &str) -> Option<Self> {
796 Some(match s {
797 "standard" => KeyLocation::Standard,
798 "left" => KeyLocation::Left,
799 "right" => KeyLocation::Right,
800 "numpad" => KeyLocation::Numpad,
801 _ => return None,
802 })
803 }
804
805 /// The C door's spelling, two bits above the modifiers in the same
806 /// word (`KUI_KLOC_*`): 0 standard, 1 left, 2 right, 3 numpad, at
807 /// [`KeyLocation::SHIFT`].
808 pub const SHIFT: u32 = 8;
809 pub const MASK: u32 = 3 << Self::SHIFT;
810
811 pub fn bits(self) -> u32 {
812 (match self {
813 KeyLocation::Standard => 0,
814 KeyLocation::Left => 1,
815 KeyLocation::Right => 2,
816 KeyLocation::Numpad => 3,
817 }) << Self::SHIFT
818 }
819
820 pub fn from_bits(bits: u32) -> Self {
821 match (bits & Self::MASK) >> Self::SHIFT {
822 1 => KeyLocation::Left,
823 2 => KeyLocation::Right,
824 3 => KeyLocation::Numpad,
825 _ => KeyLocation::Standard,
826 }
827 }
828}
829
830/// Which Option keys act as Alt on macOS — what a frame
831/// declares with [`crate::Ui::option_as_alt`]. On a Mac, Option composes:
832/// ⌥m types "µ", and ⌥u, ⌥e, ⌥i, ⌥n and ⌥\` are *dead keys* that start
833/// an accent and wait for the next key, so the press never arrives as a
834/// key at all and a keymap that binds `<A-u>` never hears it. An Option
835/// key named here is Alt instead: it composes nothing, types nothing, and
836/// every key under it arrives as a chord of the key the layout prints
837/// unmodified — what a terminal's "Option as Meta" and an editor's Alt
838/// bindings want. `None`, the default, is the Mac's own behaviour; one
839/// side leaves the other composing, so a user keeps `ü` on the right
840/// Option while the left one is Alt. Other platforms have no such
841/// composition on Alt and read nothing here.
842#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Hash)]
843pub enum OptionAsAlt {
844 #[default]
845 None,
846 Left,
847 Right,
848 Both,
849}
850
851impl OptionAsAlt {
852 /// Every value, in the order of the C door's numbers.
853 pub const ALL: [OptionAsAlt; 4] = [
854 OptionAsAlt::None,
855 OptionAsAlt::Left,
856 OptionAsAlt::Right,
857 OptionAsAlt::Both,
858 ];
859
860 /// The prop's spelling: `"none"`, `"left"`, `"right"`, `"both"`.
861 pub fn name(self) -> &'static str {
862 match self {
863 OptionAsAlt::None => "none",
864 OptionAsAlt::Left => "left",
865 OptionAsAlt::Right => "right",
866 OptionAsAlt::Both => "both",
867 }
868 }
869
870 pub fn from_name(s: &str) -> Option<Self> {
871 Self::ALL.into_iter().find(|v| v.name() == s)
872 }
873
874 /// The C door's number (`KUI_OPTION_AS_ALT_*`) and the binary IR's: 0
875 /// none, 1 left, 2 right, 3 both.
876 pub fn index(self) -> u32 {
877 self as u32
878 }
879
880 /// The value at `index`; `None` past the four, so a door can refuse
881 /// what it does not know rather than guess.
882 pub fn from_index(index: u32) -> Option<Self> {
883 Self::ALL.get(index as usize).copied()
884 }
885
886 /// Whether an Option key at `location` is Alt under this setting.
887 pub fn covers(self, location: KeyLocation) -> bool {
888 match self {
889 OptionAsAlt::None => false,
890 OptionAsAlt::Left => location == KeyLocation::Left,
891 OptionAsAlt::Right => location == KeyLocation::Right,
892 OptionAsAlt::Both => matches!(location, KeyLocation::Left | KeyLocation::Right),
893 }
894 }
895}
896
897/// What the lock keys hold at a press: Caps Lock and Num Lock on or off.
898/// Not a modifier held — [`KeyMods`] is only what is down, which
899/// accelerators and chords compare exactly — but state a press was made
900/// under, which a terminal speaking kitty's keyboard protocol reports
901/// and a keypad reading needs (its `1` is an End with Num Lock off).
902#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
903pub struct KeyLocks {
904 pub caps: bool,
905 pub num: bool,
906}
907
908impl KeyLocks {
909 /// The C door's spelling, beside the modifiers in the same word:
910 /// `KUI_KLOCK_CAPS`, `KUI_KLOCK_NUM`.
911 pub const CAPS: u32 = 1 << 4;
912 pub const NUM: u32 = 1 << 5;
913
914 pub fn bits(self) -> u32 {
915 (if self.caps { Self::CAPS } else { 0 }) | (if self.num { Self::NUM } else { 0 })
916 }
917
918 pub fn from_bits(bits: u32) -> Self {
919 KeyLocks {
920 caps: bits & Self::CAPS != 0,
921 num: bits & Self::NUM != 0,
922 }
923 }
924}
925
926/// Which alphabet the layout a press was typed on writes, as the platform
927/// answers it: what decides whose ASCII a keymap matches.
928///
929/// A Latin layout's ASCII is the label on the key — AZERTY's `&` on the
930/// key US-QWERTY prints 1, German's `-` on its `/` — and a keymap matches
931/// it. A non-Latin layout's ASCII is incidental: macOS's Russian puts `]`
932/// on the key US-QWERTY prints `` ` ``, `"` on ⇧2 and `:` on ⇧5, Windows'
933/// Russian `.` on `/`, and the user reaching for `` ` `` there means the
934/// key, as the letters beside it mean theirs. So on a non-Latin layout
935/// every key reads as US-QWERTY prints it, punctuation and digits
936/// included — macOS's own rule for a ⌘ shortcut, which it resolves
937/// through the ASCII-capable layout whenever the current one is not.
938///
939/// `Latin` is also what a driver says when it cannot ask: each key is
940/// then judged by itself, and only one the layout put no ASCII on falls
941/// back (see [`KeyPress::from_layout`]).
942#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Hash)]
943pub enum LayoutScript {
944 #[default]
945 Latin,
946 NonLatin,
947}
948
949impl LayoutScript {
950 /// The C door's spelling, beside the modifiers and the locks in the
951 /// same word: `KUI_KLAYOUT_NONLATIN`.
952 pub const NON_LATIN: u32 = 1 << 6;
953
954 pub fn from_bits(bits: u32) -> Self {
955 if bits & Self::NON_LATIN != 0 {
956 LayoutScript::NonLatin
957 } else {
958 LayoutScript::Latin
959 }
960 }
961
962 /// The Node door's spelling: `"latin"`, `"nonLatin"`.
963 pub fn from_name(s: &str) -> Option<Self> {
964 match s {
965 "latin" => Some(LayoutScript::Latin),
966 "nonLatin" | "non_latin" => Some(LayoutScript::NonLatin),
967 _ => None,
968 }
969 }
970}
971
972/// Physical modifier state. Unlike [`Mods`] — which abstracts platform
973/// conventions for the input widget (`word`, `doc`) — nothing here is
974/// normalized: an app binding `Ctrl-w` needs to know it was Control and not
975/// Command.
976#[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
977pub struct KeyMods {
978 pub shift: bool,
979 pub ctrl: bool,
980 pub alt: bool,
981 /// Windows key / Command / Super.
982 pub super_key: bool,
983}
984
985impl KeyMods {
986 /// Bit 0 Shift, 1 Ctrl, 2 Alt, 3 Super — the order the fields are
987 /// declared in, and the C header's `KUI_KMOD_*` (pinned there). What
988 /// a wire that carries the state as one integer spells it as: the
989 /// conformance corpus's `modifiers` step, the C input door.
990 pub const SHIFT: u32 = 1 << 0;
991 pub const CTRL: u32 = 1 << 1;
992 pub const ALT: u32 = 1 << 2;
993 pub const SUPER: u32 = 1 << 3;
994
995 /// No modifier held: what the `with_*` steps start from —
996 /// `KeyMods::NONE.with_shift().with_ctrl()`.
997 pub const NONE: KeyMods = KeyMods {
998 shift: false,
999 ctrl: false,
1000 alt: false,
1001 super_key: false,
1002 };
1003
1004 pub const fn with_shift(mut self) -> Self {
1005 self.shift = true;
1006 self
1007 }
1008
1009 pub const fn with_ctrl(mut self) -> Self {
1010 self.ctrl = true;
1011 self
1012 }
1013
1014 pub const fn with_alt(mut self) -> Self {
1015 self.alt = true;
1016 self
1017 }
1018
1019 pub const fn with_super(mut self) -> Self {
1020 self.super_key = true;
1021 self
1022 }
1023
1024 /// The platform primary shortcut modifier held: Command on macOS,
1025 /// Control elsewhere — the one [`Self::primary`] reads.
1026 pub const fn with_primary(self) -> Self {
1027 if cfg!(target_os = "macos") {
1028 self.with_super()
1029 } else {
1030 self.with_ctrl()
1031 }
1032 }
1033
1034 pub fn from_bits(bits: u32) -> Self {
1035 Self {
1036 shift: bits & Self::SHIFT != 0,
1037 ctrl: bits & Self::CTRL != 0,
1038 alt: bits & Self::ALT != 0,
1039 super_key: bits & Self::SUPER != 0,
1040 }
1041 }
1042
1043 pub fn bits(self) -> u32 {
1044 let bit = |on: bool, b: u32| if on { b } else { 0 };
1045 bit(self.shift, Self::SHIFT)
1046 | bit(self.ctrl, Self::CTRL)
1047 | bit(self.alt, Self::ALT)
1048 | bit(self.super_key, Self::SUPER)
1049 }
1050
1051 pub fn any(self) -> bool {
1052 self.shift || self.ctrl || self.alt || self.super_key
1053 }
1054
1055 /// The platform primary shortcut modifier: Command on macOS, Control
1056 /// elsewhere.
1057 pub fn primary(self) -> bool {
1058 if cfg!(target_os = "macos") {
1059 self.super_key
1060 } else {
1061 self.ctrl
1062 }
1063 }
1064
1065 /// The payload form of a modifier change:
1066 /// `{kind="modifiers", shift=, ctrl=, alt=, super=}`.
1067 pub fn to_value(self) -> Value {
1068 Value::map([
1069 ("kind", Value::str("modifiers")),
1070 ("shift", Value::Bool(self.shift)),
1071 ("ctrl", Value::Bool(self.ctrl)),
1072 ("alt", Value::Bool(self.alt)),
1073 ("super", Value::Bool(self.super_key)),
1074 ])
1075 }
1076}
1077
1078/// What US-QWERTY prints on a key under Shift: the upper-case letter, the
1079/// symbol above a digit, the pair on a punctuation key. Anything else —
1080/// already shifted, or not a US key at all — is itself.
1081fn us_shifted(c: char) -> char {
1082 match c {
1083 'a'..='z' => c.to_ascii_uppercase(),
1084 '1' => '!',
1085 '2' => '@',
1086 '3' => '#',
1087 '4' => '$',
1088 '5' => '%',
1089 '6' => '^',
1090 '7' => '&',
1091 '8' => '*',
1092 '9' => '(',
1093 '0' => ')',
1094 '`' => '~',
1095 '-' => '_',
1096 '=' => '+',
1097 '[' => '{',
1098 ']' => '}',
1099 '\\' => '|',
1100 ';' => ':',
1101 '\'' => '"',
1102 ',' => '<',
1103 '.' => '>',
1104 '/' => '?',
1105 other => other,
1106 }
1107}
1108
1109/// One key press, delivered to whatever holds key focus. Carries both the
1110/// binding view (`code` + `mods`) and the typing view (`text`), so an app can
1111/// serve a modal keymap and an insert mode from the same event.
1112#[derive(Clone, Debug, PartialEq, Eq)]
1113pub struct KeyPress {
1114 pub code: KeyCode,
1115 /// Where the key *is*, independent of the layout: the US-QWERTY key at
1116 /// that position, in the same vocabulary as `code`. The key left of B
1117 /// is `Char('v')` on every layout on earth, so a chord map written
1118 /// against this one binds a shape rather than a character — what a
1119 /// game's WASD wants, and what a keymap wants when it would rather be
1120 /// wrong about the label than wrong about the finger.
1121 ///
1122 /// `code` is usually the better default; see its note. `Unknown` when
1123 /// the platform reports a position this vocabulary cannot name.
1124 pub physical: KeyCode,
1125 pub mods: KeyMods,
1126 /// What this press would insert, if anything — already resolved through
1127 /// the keyboard layout. `None` for pure navigation and chords.
1128 pub text: Option<String>,
1129 /// Set when the press came from OS key repeat.
1130 pub repeat: bool,
1131 /// Which of a key's twins this is: the left or right modifier, the
1132 /// keypad's digit or the main block's (see [`KeyLocation`]).
1133 pub location: KeyLocation,
1134 /// Caps Lock and Num Lock as the press left them: a lock key's own
1135 /// press reports the state it turned the lock to, on every platform.
1136 pub locks: KeyLocks,
1137}
1138
1139impl KeyPress {
1140 /// A press whose position is its own code — what a layout that agrees
1141 /// with US-QWERTY produces, and the sane reading of an injected press:
1142 /// naming a key is saying which key was pressed. The one fold: an
1143 /// ASCII letter's position is its lower-case letter, since a window
1144 /// reports `physical` from a table that never sees Shift (`Z` beside
1145 /// `code: "Z"` for ⇧Z would be a pair no window ever sends). A `physical`
1146 /// a caller spells is delivered as spelled — this
1147 /// is only the default, which was already a guess.
1148 pub fn new(code: KeyCode, mods: KeyMods) -> Self {
1149 let physical = match code {
1150 KeyCode::Char(c) if c.is_ascii_uppercase() => KeyCode::Char(c.to_ascii_lowercase()),
1151 other => other,
1152 };
1153 Self {
1154 code,
1155 physical,
1156 mods,
1157 text: None,
1158 repeat: false,
1159 location: KeyLocation::Standard,
1160 locks: KeyLocks::default(),
1161 }
1162 }
1163
1164 /// Says which of a key's twins this is (`Numpad` for the keypad's,
1165 /// `Left` / `Right` for a modifier's).
1166 pub fn with_location(mut self, location: KeyLocation) -> Self {
1167 self.location = location;
1168 self
1169 }
1170
1171 /// Says what the lock keys held at the press.
1172 pub fn with_locks(mut self, locks: KeyLocks) -> Self {
1173 self.locks = locks;
1174 self
1175 }
1176
1177 /// Says which physical key produced this press, when the layout put a
1178 /// different code on it (`⌥v` on Dvorak: code `v`, physical `.`).
1179 pub fn with_physical(mut self, physical: KeyCode) -> Self {
1180 self.physical = physical;
1181 self
1182 }
1183
1184 /// The press a driver builds from the two things the OS tells it: what
1185 /// the active layout put on the key, and which key it was. Every driver
1186 /// resolves `code` the same way because they all come through here.
1187 ///
1188 /// The layout wins while it speaks ASCII, so a chord lands on the key
1189 /// the user can *see* — Dvorak's `⌥v` on the key printed V, AZERTY's
1190 /// `⌘a` on the one printed A, QWERTZ's `⌘z` on the one printed Z. A
1191 /// layout that produces anything else (Cyrillic, Greek, Hebrew, Arabic)
1192 /// would make every Latin keymap in every app match nothing at all, so
1193 /// the US-QWERTY letter at that position stands in; this is the rule
1194 /// browsers use to keep `⌘C` copying on a Russian layout. A layout key
1195 /// this vocabulary cannot name falls back the same way.
1196 ///
1197 /// The stand-in is what US-QWERTY would have produced for the *same
1198 /// press*, Shift included: a window reports `physical` from a table
1199 /// that never sees Shift, so ⇧ on the key printed J is
1200 /// `J`, not `j`, and ⇧ on the key printed `;` is `:` — the key a vim
1201 /// hand on a Russian layout reaches for, and gets `;` from otherwise.
1202 ///
1203 /// Except under Alt, where the stand-in is the unshifted position.
1204 /// What a layout puts on an ⌥ key is a composed character (macOS US
1205 /// ⌥⇧J is `Ô`), so a driver resolving a chord reads the key with
1206 /// every modifier stripped — the winit runner's `j` for ⌥⇧J, on a
1207 /// US layout and a Russian one alike — and a host that passes the
1208 /// composed character lands here instead. Folding Shift here too is
1209 /// what makes the two agree; `mods` still says Shift was held.
1210 ///
1211 /// Caps Lock is not read here: it is [`KeyPress::locks`], set after,
1212 /// so the stand-in follows Shift alone and a Caps-Locked non-Latin
1213 /// key stands in as the lower-case letter, where US-QWERTY would
1214 /// print the upper-case one.
1215 ///
1216 /// `physical` is reported either way, for a keymap that would rather
1217 /// bind the finger than the label.
1218 ///
1219 /// This judges each key by itself, which is all a driver that cannot
1220 /// ask about the layout can do; one that can says so through
1221 /// [`KeyPress::from_layout_in`].
1222 pub fn from_layout(layout: KeyCode, physical: KeyCode, mods: KeyMods) -> Self {
1223 Self::from_layout_in(layout, physical, mods, LayoutScript::Latin)
1224 }
1225
1226 /// [`KeyPress::from_layout`] on a layout whose alphabet the driver
1227 /// knows. On a [`LayoutScript::NonLatin`] one the US-QWERTY key stands
1228 /// in for every character the layout put where US-QWERTY has another,
1229 /// ASCII or not, so macOS Russian's `]` on the key printed `` ` `` is
1230 /// `` ` ``, its `"` on ⇧2 is `@`, and Windows Russian's `.` on the key
1231 /// printed `/` is `/`. A key that already is its
1232 /// position's character — a digit, the keypad's — keeps it, and a key
1233 /// at a position this vocabulary cannot name (ISO's extra key) keeps
1234 /// the layout's, there being nothing to stand in.
1235 pub fn from_layout_in(
1236 layout: KeyCode,
1237 physical: KeyCode,
1238 mods: KeyMods,
1239 script: LayoutScript,
1240 ) -> Self {
1241 let stand_in = || match (mods.shift && !mods.alt, physical) {
1242 (true, KeyCode::Char(c)) => KeyCode::Char(us_shifted(c)),
1243 _ => physical,
1244 };
1245 let code = match layout {
1246 KeyCode::Char(c) if !c.is_ascii() => stand_in(),
1247 KeyCode::Unknown => stand_in(),
1248 KeyCode::Char(c)
1249 if script == LayoutScript::NonLatin
1250 && matches!(physical, KeyCode::Char(p) if p != c) =>
1251 {
1252 stand_in()
1253 }
1254 named_or_ascii => named_or_ascii,
1255 };
1256 Self {
1257 code,
1258 physical,
1259 mods,
1260 text: None,
1261 repeat: false,
1262 location: KeyLocation::Standard,
1263 locks: KeyLocks::default(),
1264 }
1265 }
1266
1267 pub fn with_text(mut self, text: impl Into<String>) -> Self {
1268 self.text = Some(text.into());
1269 self
1270 }
1271
1272 /// Whether `other` is a press or release of the same key as this one
1273 /// — how a release is matched to the press it lets go of, and a repeat
1274 /// to the press it repeats. By position when the platform reported
1275 /// one, because `code` moves under a held key: hold `w`, press Shift,
1276 /// and the OS repeat arrives as `W`, which by `code` would be a second
1277 /// key held, with the first stuck down until focus moved. A
1278 /// press whose position the vocabulary could not name is matched on
1279 /// `code`, which is all it has. And by [`KeyPress::location`] too:
1280 /// the keypad's `1` and the main block's share a position's name,
1281 /// as the two Shifts do, and are two keys.
1282 pub fn same_key(&self, other: &KeyPress) -> bool {
1283 self.location == other.location
1284 && if self.physical != KeyCode::Unknown && other.physical != KeyCode::Unknown {
1285 self.physical == other.physical
1286 } else {
1287 self.code == other.code
1288 }
1289 }
1290
1291 /// The **second** event a real key press produces, after its
1292 /// [`InputEvent::KeyDown`] — the other half of what a window does with
1293 /// one key going down, and the one table that says which key is which.
1294 ///
1295 /// A press is two channels, and every driver drives both, in this
1296 /// order. `KeyDown` goes to whatever holds key focus, so an app that
1297 /// owns its keyboard hears the raw key; this is what the *core* is
1298 /// asked to do with the same key — Escape dismisses a modal, Tab walks
1299 /// the focus ring, the arrows nudge a focused slider, Space presses a
1300 /// focused control, a printable character reaches the focused editor.
1301 /// A test that sent only `KeyDown` got the first channel and none of
1302 /// the second, which is why `key_down("escape")` left a modal open;
1303 /// [`crate::Core::press`] is the pair.
1304 ///
1305 /// `None` for a key this vocabulary does not name — a function key,
1306 /// Insert — and for every chord, which carries no `text` because it
1307 /// inserts nothing. The press still stands on the sink channel.
1308 pub fn edit_event(&self) -> Option<InputEvent> {
1309 let key = match self.code {
1310 KeyCode::Left => EditKey::Left,
1311 KeyCode::Right => EditKey::Right,
1312 KeyCode::Up => EditKey::Up,
1313 KeyCode::Down => EditKey::Down,
1314 KeyCode::Home => EditKey::Home,
1315 KeyCode::End => EditKey::End,
1316 KeyCode::PageUp => EditKey::PageUp,
1317 KeyCode::PageDown => EditKey::PageDown,
1318 KeyCode::Backspace => EditKey::Backspace,
1319 KeyCode::Delete => EditKey::Delete,
1320 KeyCode::Enter => EditKey::Enter,
1321 KeyCode::Tab => EditKey::Tab,
1322 KeyCode::Escape => EditKey::Escape,
1323 // Space is the text channel rather than an `EditKey`: it
1324 // inserts into a focused editor and presses a focused control
1325 // (`docs/adr/0002`). Under Shift it is still a space; under
1326 // any other modifier it is a chord like every other chord —
1327 // an IME toggle, an Emacs mark — and inserts nothing (AR10;
1328 // before that it said " " whatever was held, so Ctrl+Space
1329 // typed a space into an editor and clicked a control).
1330 KeyCode::Space => {
1331 let m = self.mods;
1332 return (!m.ctrl && !m.alt && !m.super_key)
1333 .then(|| InputEvent::Text(" ".to_string()));
1334 }
1335 // Anything else inserts whatever it inserts. A driver leaves
1336 // `text` unset for a chord, so this is where one stops.
1337 _ => {
1338 let text = self.text.as_deref()?;
1339 return text
1340 .chars()
1341 .any(|c| !c.is_control())
1342 .then(|| InputEvent::Text(text.to_string()));
1343 }
1344 };
1345 // `word` is Alt and `doc` the platform primary, which is the whole
1346 // of what the editing vocabulary normalizes (see [`Mods`]).
1347 Some(InputEvent::Key(
1348 key,
1349 Mods {
1350 shift: self.mods.shift,
1351 word: self.mods.alt,
1352 doc: self.mods.primary(),
1353 },
1354 ))
1355 }
1356
1357 /// Strips a press down to what a release reports: nothing is inserted
1358 /// on the way up, and a release never comes from key repeat.
1359 pub fn released(mut self) -> Self {
1360 self.text = None;
1361 self.repeat = false;
1362 self
1363 }
1364
1365 /// The payload form crossing into events, C, and Lua:
1366 /// `{kind="key", phase="down"|"up", code="w", physical="w", shift=,
1367 /// ctrl=, alt=, super=, text=, repeat=, location="standard",
1368 /// caps_lock=, num_lock=}`.
1369 pub fn to_value(&self, phase: KeyPhase) -> Value {
1370 Value::map([
1371 ("kind", Value::str("key")),
1372 ("phase", Value::str(phase.name())),
1373 ("code", Value::Str(self.code.name())),
1374 ("physical", Value::Str(self.physical.name())),
1375 ("shift", Value::Bool(self.mods.shift)),
1376 ("ctrl", Value::Bool(self.mods.ctrl)),
1377 ("alt", Value::Bool(self.mods.alt)),
1378 ("super", Value::Bool(self.mods.super_key)),
1379 (
1380 "text",
1381 match &self.text {
1382 Some(t) => Value::Str(t.clone()),
1383 None => Value::Null,
1384 },
1385 ),
1386 ("repeat", Value::Bool(self.repeat)),
1387 ("location", Value::str(self.location.name())),
1388 ("caps_lock", Value::Bool(self.locks.caps)),
1389 ("num_lock", Value::Bool(self.locks.num)),
1390 ])
1391 }
1392}
1393
1394/// An event produced by the UI, ready for routing.
1395#[derive(Clone, Debug, PartialEq)]
1396pub struct UiEvent {
1397 pub origin: OriginId,
1398 /// Which window the event came from — a *new* field and not a second
1399 /// reading of `origin`, which says which frontend drew the node and
1400 /// answers `HOST` for a window an extension also draws into.
1401 ///
1402 /// Most producers cannot fill it in: a hit test and the edit buffer
1403 /// know nothing about windows. They leave it [`WindowId::MAIN`] and the
1404 /// core stamps its own `env.window.id` over it as the event leaves
1405 /// (`Core::handle_input`, `Core::take_pending_events`) — one core is
1406 /// one window, so that is the whole answer. The audio store is the
1407 /// exception: its mounts are per window, so a `sound` event carries
1408 /// the window that declared the node and the stamp leaves it alone. A
1409 /// driver that builds an event itself stamps it itself.
1410 pub window: WindowId,
1411 pub key: Key,
1412 pub payload: Value,
1413 /// The slot whose fill drew the node — its key, the one `begin_slot`
1414 /// returned and `key_of(full_name)` answers — or `None` for a node the
1415 /// host drew itself. What `origin` cannot say: one extension fills
1416 /// many slots (a Lua host with a view per pane), and an event routed
1417 /// by pane needs the slot, not the extension. Stamped by the core on
1418 /// the way out like `window`, from the fill ranges the last frame
1419 /// recorded (`Tree::fills`); a producer leaves it `None`.
1420 pub slot: Option<Key>,
1421}
1422
1423impl UiEvent {
1424 /// An event as a producer builds it: the window is left [`WindowId::MAIN`]
1425 /// and the slot `None` for the core to stamp on the way out (see
1426 /// [`UiEvent::window`], [`UiEvent::slot`]).
1427 pub fn on(origin: OriginId, key: Key, payload: Value) -> Self {
1428 Self {
1429 origin,
1430 window: WindowId::MAIN,
1431 key,
1432 payload,
1433 slot: None,
1434 }
1435 }
1436
1437 /// Merges the node's tag into a map payload. A `Null` tag declares the
1438 /// behaviour and names nothing, so it is the one value left out — the
1439 /// rule every row with a tag reads by, stated once.
1440 /// The payload's `kind`: what a core event says it is — `"drag"`,
1441 /// `"key"`, `"scroll"` — or the `kind` of an app's own map tag. None
1442 /// for a payload that is not a map or has no string `kind`.
1443 #[inline]
1444 pub fn kind(&self) -> Option<&str> {
1445 self.payload.get_str("kind")
1446 }
1447
1448 pub fn tagged(mut self, tag: Option<&Value>) -> Self {
1449 if let Some(tag) = tag
1450 && *tag != Value::Null
1451 && let Value::Map(entries) = &mut self.payload
1452 {
1453 entries.push(("tag".to_string(), tag.clone()));
1454 }
1455 self
1456 }
1457}
1458
1459/// The node whose `on_context_menu` a secondary press on a region opens:
1460/// the region's own node or an ancestor's (see `HitRegion::context_menu`).
1461#[derive(Clone, Debug, PartialEq)]
1462pub struct MenuOwner {
1463 pub key: Key,
1464 pub origin: OriginId,
1465 pub tag: Value,
1466}
1467
1468/// The zone files dragged over a region land on: the region's own node
1469/// or an ancestor's (see `HitRegion::drop`). The
1470/// same three fields as [`MenuOwner`], resolved by the same walk.
1471pub type DropOwner = MenuOwner;
1472
1473/// The node a non-primary button's press went to and whose capture it is
1474/// until the release: the nearest node at or above the
1475/// region pressed whose `on_button` claims that button. The same three
1476/// fields as [`MenuOwner`], resolved by the core at the press rather than
1477/// carried on every region — a middle press is one event in a session,
1478/// and a tag on `HitRegion` would be a clone on every region of every
1479/// frame.
1480pub type ButtonOwner = MenuOwner;
1481
1482/// The shape inside a region's rect that a point has to be in to hit it.
1483/// The rect is always tested
1484/// first, so a shape is evaluated only for the few regions under the
1485/// pointer. Inline on the region rather than behind an index: the twenty
1486/// bytes measured nothing on a 10k-region frame, so the simpler shape won.
1487/// Points for a stroke or a fill live
1488/// in the interaction's own list, relative to the region's top-left in
1489/// logical px, copied at emission because the frame's stores do not
1490/// outlive the frame and a press does.
1491#[derive(Clone, Copy, Debug, PartialEq)]
1492pub enum HitShape {
1493 /// The whole rect — every box, and what every region was before.
1494 Rect,
1495 /// A box with rounded corners: a point in a corner's square but past
1496 /// its arc misses. Radii clockwise from the top-left, logical px,
1497 /// as the node's `radius` row.
1498 Rounded([f32; 4]),
1499 /// A round-capped stroke through `len` points from `first`, `width`
1500 /// wide: a point within half the width of any piece hits. A hairline
1501 /// is hard to hit, so the grab is at least [`MIN_STROKE_GRAB`] wide.
1502 Segments { first: u32, len: u32, width: f32 },
1503 /// A filled outline through `len` points from `first`: a point inside
1504 /// by the even-odd rule hits — the same rule the stock polygon paints
1505 /// by, so the hit is the fill exactly, a self-intersecting outline's
1506 /// unfilled overlaps included.
1507 Polygon { first: u32, len: u32 },
1508 /// A `path`'s flattened outline: `len` points from `first`, closed
1509 /// contours each followed by `crate::path::CONTOUR_BREAK`, hit by the
1510 /// fill rule it paints with (`crate::path::in_path`).
1511 Path {
1512 first: u32,
1513 len: u32,
1514 rule: crate::path::FillRule,
1515 },
1516}
1517
1518/// The narrowest a stroke's hit target gets, logical px, whatever its
1519/// drawn width: a 1 px connector is a 4 px target, the way a 1 px splitter
1520/// handle is wider than its line everywhere.
1521pub const MIN_STROKE_GRAB: f32 = 4.0;
1522
1523#[derive(Clone, Debug)]
1524pub struct HitRegion {
1525 pub key: Key,
1526 pub origin: OriginId,
1527 /// Logical coordinates.
1528 pub rect: Rect,
1529 /// Ancestor clip; a point must be inside both to hit.
1530 pub clip: Rect,
1531 /// The shape inside `rect` a point must also be in, when there is one.
1532 pub shape: HitShape,
1533 /// Click payload; None for hover-only regions (hoverable, edits) — a
1534 /// click on those emits no `UiEvent`.
1535 pub payload: Option<Value>,
1536 /// Drag tag when the node declared `on_drag`: pressing it starts a
1537 /// pointer-captured drag, and cursor motion until release emits
1538 /// `{kind="drag", phase, x, y, dx, dy, parent, tag}` events on this node.
1539 pub drag: Option<Value>,
1540 /// The node's parent rect (logical) — carried into drag payloads so
1541 /// handlers can turn absolute positions into fractions of the container
1542 /// (a splitter's ratio) without any geometry query API.
1543 pub parent_rect: Rect,
1544 /// Content-box origin of an editable text node; None for plain hits.
1545 pub edit_origin: Option<Vec2>,
1546 /// The selection scope this node is inside, when it is inside one:
1547 /// a press here starts a
1548 /// drag-select over the scope's text. A region that also carries a
1549 /// click payload is a control first — a press on a button inside a
1550 /// selectable card clicks it — so this is read only where nothing
1551 /// else claims the press.
1552 pub select_scope: Option<Key>,
1553 /// Key-sink tag when the node declared `on_key`: clicking it takes
1554 /// key focus, and key presses then arrive on it carrying this tag.
1555 pub key_sink: Option<Value>,
1556 /// The sink declared `key_up`: releases reach it too. Without it a
1557 /// release is dropped at routing, and the sink hears presses only.
1558 pub key_up: bool,
1559 /// The context menu a secondary press here opens: the node's own
1560 /// `on_context_menu`, or the nearest enclosing one — a container
1561 /// offering a menu for everything inside it is the common case, and
1562 /// a press on a child that declared none is unclaimed,
1563 /// so it reaches the enclosing menu the way an
1564 /// unclaimed key reaches the enclosing sink. Resolved at
1565 /// emission, where the tree is; the walk stops at the modal boundary
1566 /// and skips a disabled node's own. The press emits
1567 /// `{kind="contextmenu", x, y, tag}` on the *owner*, not on this node.
1568 /// None when nothing encloses this region offers one, and the press
1569 /// is swallowed here.
1570 pub context_menu: Option<MenuOwner>,
1571 /// The drop zone this region belongs to — its own `on_drop` or the
1572 /// nearest enclosing declaration's — resolved at emission. None where no
1573 /// zone encloses it: files dragged over
1574 /// such a region look past it to the topmost zone beneath.
1575 pub drop: Option<DropOwner>,
1576 /// A press on this node moves keyboard focus to it (an editor, a
1577 /// sink, a control, a `focusable` node — never a disabled one).
1578 pub focusable: bool,
1579 /// Window-chrome role: interactions become `WindowCommand`s, not events.
1580 pub window: Option<WindowRole>,
1581 /// Hover tag when the node declared `on_hover`: the pointer entering or
1582 /// leaving emits `{kind="hover", phase="enter"|"leave", tag}` on it.
1583 pub hover: Option<Value>,
1584 /// Hover group id (`NodeSpec::hover_group`): hovering or pressing any
1585 /// member lights up every member.
1586 pub group: Option<u64>,
1587 /// Sounds the node declared (`NodeSpec::click_sound` / `hover_sound`):
1588 /// a click / the pointer entering queues them as sound requests the
1589 /// core turns into audio commands.
1590 pub click_sound: Option<crate::resources::SoundId>,
1591 pub hover_sound: Option<crate::resources::SoundId>,
1592 /// Pointer shape declared by the node (`NodeSpec::cursor`). None = the
1593 /// I-beam over text, the arrow otherwise (`Interaction::implied_shape`).
1594 pub cursor: Option<CursorShape>,
1595 /// A slider's track when the node declared `on_change`: a press here
1596 /// proposes the value under the pointer and
1597 /// captures the pointer until release, each new value a `change`
1598 /// event. Boxed: nearly every region has none.
1599 pub slider: Option<Box<crate::slider::SliderTrack>>,
1600}
1601
1602/// An OS file drag over a zone: what `dropBg` reads and what
1603/// the next `DragFiles` compares against.
1604#[derive(Clone, Debug)]
1605struct DropHover {
1606 owner: DropOwner,
1607 /// Where the last `DragFiles` put the pointer: a repeat at the same
1608 /// point is not a `move`.
1609 last: Vec2,
1610 /// The `leave`, built at `enter` with the paths of that moment.
1611 leave: UiEvent,
1612}
1613
1614/// The points a frame's stroke and fill shapes index, built beside its
1615/// regions.
1616#[derive(Clone, Debug, Default)]
1617pub struct HitShapes {
1618 pub points: Vec<Vec2>,
1619}
1620
1621impl HitShapes {
1622 /// Adds a stroke's points and returns the shape over them.
1623 pub fn segments(&mut self, points: &[Vec2], width: f32) -> HitShape {
1624 let first = self.points.len() as u32;
1625 self.points.extend_from_slice(points);
1626 HitShape::Segments {
1627 first,
1628 len: points.len() as u32,
1629 width,
1630 }
1631 }
1632
1633 /// Adds a path's flattened contours and returns the shape over them.
1634 pub fn path(&mut self, points: &[Vec2], rule: crate::path::FillRule) -> HitShape {
1635 let first = self.points.len() as u32;
1636 self.points.extend_from_slice(points);
1637 HitShape::Path {
1638 first,
1639 len: points.len() as u32,
1640 rule,
1641 }
1642 }
1643
1644 /// Adds a fill's points and returns the shape over them.
1645 pub fn polygon(&mut self, points: &[Vec2]) -> HitShape {
1646 let first = self.points.len() as u32;
1647 self.points.extend_from_slice(points);
1648 HitShape::Polygon {
1649 first,
1650 len: points.len() as u32,
1651 }
1652 }
1653}
1654
1655/// Whether `p` (relative to the box's top-left) is inside a `w`×`h` box
1656/// with the given corner radii: in the box, and not in a corner's square
1657/// past its arc. Radii are clamped to the half extents as the shader
1658/// clamps them, so an oversized radius is the pill it draws as.
1659pub fn in_rounded_rect(p: Vec2, w: f32, h: f32, radii: [f32; 4]) -> bool {
1660 let cap = (w * 0.5).min(h * 0.5).max(0.0);
1661 // Corner centres clockwise from the top-left, each with its radius.
1662 let corners = [
1663 (radii[0].min(cap), radii[0].min(cap), radii[0].min(cap)),
1664 (w - radii[1].min(cap), radii[1].min(cap), radii[1].min(cap)),
1665 (
1666 w - radii[2].min(cap),
1667 h - radii[2].min(cap),
1668 radii[2].min(cap),
1669 ),
1670 (radii[3].min(cap), h - radii[3].min(cap), radii[3].min(cap)),
1671 ];
1672 for (i, &(cx, cy, r)) in corners.iter().enumerate() {
1673 if r <= 0.0 {
1674 continue;
1675 }
1676 // Past the centre toward the corner on both axes: in the square.
1677 let in_square = match i {
1678 0 => p.x < cx && p.y < cy,
1679 1 => p.x > cx && p.y < cy,
1680 2 => p.x > cx && p.y > cy,
1681 _ => p.x < cx && p.y > cy,
1682 };
1683 if in_square && (p.x - cx).powi(2) + (p.y - cy).powi(2) > r * r {
1684 return false;
1685 }
1686 }
1687 true
1688}
1689
1690/// Distance from `p` to the segment `a`–`b`.
1691pub fn segment_distance(p: Vec2, a: Vec2, b: Vec2) -> f32 {
1692 let (ex, ey) = (b.x - a.x, b.y - a.y);
1693 let (wx, wy) = (p.x - a.x, p.y - a.y);
1694 let ee = ex * ex + ey * ey;
1695 let t = if ee > 0.0 {
1696 ((wx * ex + wy * ey) / ee).clamp(0.0, 1.0)
1697 } else {
1698 0.0
1699 };
1700 let (dx, dy) = (wx - ex * t, wy - ey * t);
1701 (dx * dx + dy * dy).sqrt()
1702}
1703
1704/// Whether `p` is inside the outline through `pts` by the even-odd rule
1705/// (the crossing test). A point on an edge counts as inside on one side
1706/// and outside on the other, which is what every hit test of a shared
1707/// edge between two wedges wants: exactly one of them.
1708pub fn in_polygon(p: Vec2, pts: &[Vec2]) -> bool {
1709 let n = pts.len();
1710 if n < 3 {
1711 return false;
1712 }
1713 let mut inside = false;
1714 let mut j = n - 1;
1715 for i in 0..n {
1716 let (a, b) = (pts[i], pts[j]);
1717 if (a.y > p.y) != (b.y > p.y) {
1718 let x = a.x + (p.y - a.y) / (b.y - a.y) * (b.x - a.x);
1719 if p.x < x {
1720 inside = !inside;
1721 }
1722 }
1723 j = i;
1724 }
1725 inside
1726}
1727
1728/// A scroll container's on-screen area, for wheel routing — or an
1729/// `on_scroll` node's, which takes the wheel the same way and turns it
1730/// into an event instead of an offset.
1731#[derive(Clone, Copy, Debug)]
1732pub struct ScrollRegion {
1733 pub key: Key,
1734 /// The scroller's index in the frame's tree: what its bars are
1735 /// emitted from, at the end of its layer.
1736 pub(crate) node: u32,
1737 pub rect: Rect,
1738 pub clip: Rect,
1739 /// Outside the frame's modal scope: the bar still draws, the wheel
1740 /// and the thumb do nothing.
1741 pub inert: bool,
1742 /// The node declared `on_scroll`: the wheel over it is an event on
1743 /// it, no bars are drawn and no offset is kept. A region that is
1744 /// both — a scroller that also declared the row — is the handler's:
1745 /// the app asked to hear the wheel, and hearing it *and* having the
1746 /// content move under it would be two answers to one notch.
1747 pub handler: bool,
1748 /// The axes a gesture may take here: a container's `scroll_x` /
1749 /// `scroll_y`, a handler's `scroll_axes`. Carried from the frame that
1750 /// drew the region, with `contain` and `parent`, so the wheel never
1751 /// reads the tree by `node` — a tree a build under way may have
1752 /// cleared or refilled.
1753 pub(crate) takes_x: bool,
1754 pub(crate) takes_y: bool,
1755 /// The axes it scrolls as a container (`scroll_x` / `scroll_y`): a
1756 /// handler that is one too is answered on them by its room, as a
1757 /// container is.
1758 pub(crate) scrolls_x: bool,
1759 pub(crate) scrolls_y: bool,
1760 /// `overscroll: contain`: a gesture starting here stays here.
1761 pub(crate) contain: bool,
1762 /// The index in the frame's region list of the nearest scroll region
1763 /// around this one in the tree, [`crate::tree::NIL`] for none: where
1764 /// a gesture this one passes goes next, whatever else is painted under the pointer.
1765 pub(crate) parent: u32,
1766}
1767
1768#[derive(Clone, Copy, Debug, PartialEq, Eq)]
1769pub enum ScrollAxis {
1770 X,
1771 Y,
1772}
1773
1774/// One scrollbar drawn this frame (logical coordinates), for thumb dragging
1775/// and track jumps. Rebuilt by `finish_frame` alongside the indicator quads.
1776#[derive(Clone, Copy, Debug)]
1777pub struct ScrollbarRegion {
1778 pub key: Key,
1779 pub axis: ScrollAxis,
1780 /// The thumb as drawn.
1781 pub thumb: Rect,
1782 /// The full track strip (the grabbable gutter).
1783 pub track: Rect,
1784 /// Thumb length along the axis.
1785 pub bar_len: f32,
1786 /// The container's max scroll offset on this axis.
1787 pub max: f32,
1788 /// Behind a modal: drawn, but not grabbable.
1789 pub inert: bool,
1790 /// The hit list's length when the bar was painted: every region below
1791 /// this index is under the bar, every one at or above it is in a layer
1792 /// over it.
1793 pub(crate) above: u32,
1794}
1795
1796/// What a press at a point lands on, in paint order: the topmost hit
1797/// region, unless a scrollbar painted over it is there too.
1798pub(crate) enum Target<'a> {
1799 Bar(ScrollbarRegion),
1800 Hit(&'a HitRegion),
1801}
1802
1803impl ScrollbarRegion {
1804 /// Offset for a cursor position, given where inside the thumb it grabbed.
1805 pub(crate) fn offset_for(&self, p: Vec2, grab: f32) -> f32 {
1806 let (pos, track_start, track_len) = match self.axis {
1807 ScrollAxis::X => (p.x, self.track.x, self.track.w),
1808 ScrollAxis::Y => (p.y, self.track.y, self.track.h),
1809 };
1810 let range = (track_len - self.bar_len).max(1.0);
1811 ((pos - track_start - grab) / range).clamp(0.0, 1.0) * self.max
1812 }
1813}
1814
1815/// An in-flight pointer-captured drag on an `on_drag` node.
1816#[derive(Clone, Debug)]
1817struct DragState {
1818 key: Key,
1819 origin: OriginId,
1820 tag: Value,
1821 parent_rect: Rect,
1822 /// Where the press landed. Every `dx`/`dy` the drag reports is the
1823 /// displacement from here — `start` is zero, a `move` is where the
1824 /// pointer is now, `end` is the whole distance — so a handler commits
1825 /// from any phase without summing anything, and the slop below drops
1826 /// nothing from the total.
1827 press: Vec2,
1828 /// Where the pointer was last seen: the `end` position of a drag
1829 /// released while the cursor was outside the window.
1830 last: Vec2,
1831 /// Whether motion left the click slop; suppresses the click on
1832 /// release so a node can carry both `on_click` and `on_drag`. Once
1833 /// set it stays set — a drag that wanders back is still a drag.
1834 moved: bool,
1835}
1836
1837/// How far from the press point a pointer may wander before the press
1838/// stops counting as a click and the drag starts reporting `move`s.
1839/// Measured from the press, not per event, so a slow pointer that never
1840/// covers 3 px between two events still gets there.
1841const DRAG_SLOP: f32 = 3.0;
1842
1843impl DragState {
1844 /// The displacement `p` is from the press point.
1845 fn displacement(&self, p: Vec2) -> Vec2 {
1846 Vec2::new(p.x - self.press.x, p.y - self.press.y)
1847 }
1848}
1849
1850/// A non-primary button held on the node that claimed it:
1851/// its motion and its release go to `owner` wherever the pointer is.
1852#[derive(Clone, Debug)]
1853struct ButtonCapture {
1854 button: MouseButton,
1855 owner: ButtonOwner,
1856 /// Where the pointer was last seen: a repeat at the same point is not
1857 /// a `move`, and a release with the cursor outside the window happens
1858 /// here.
1859 last: Vec2,
1860}
1861
1862#[derive(Default)]
1863pub struct Interaction {
1864 /// In paint order: later entries are on top.
1865 pub(crate) hits: Vec<HitRegion>,
1866 /// The points the stroke and fill shapes index, rebuilt with the
1867 /// hits; empty on a frame of plain boxes.
1868 shape_points: Vec<Vec2>,
1869 /// In paint order: later entries are on top (innermost last).
1870 pub(crate) scroll_regions: Vec<ScrollRegion>,
1871 /// This frame's scrollbars, topmost last (they draw over content).
1872 pub(crate) scrollbars: Vec<ScrollbarRegion>,
1873 /// Scrollbar thumb being dragged: which bar, and the grab point inside
1874 /// the thumb (axis-local). Offset math happens in `Core::handle_input`
1875 /// (it needs the `ScrollStore`).
1876 pub(crate) scrollbar_drag: Option<(Key, ScrollAxis, f32)>,
1877 /// Window intents produced by chrome nodes; drained by the driver via
1878 /// `Core::take_window_commands`.
1879 pub(crate) window_commands: Vec<WindowCommand>,
1880 /// The window this core draws, for the commands chrome nodes issue —
1881 /// a hit region has no window, so the core writes it here from
1882 /// `env.window.id` before routing each input.
1883 pub(crate) window: WindowId,
1884 /// Sounds nodes asked for (`click_sound` on click, `hover_sound` on
1885 /// enter); the core turns them into play commands (`take_sound_requests`).
1886 pub(crate) sound_requests: Vec<crate::resources::SoundId>,
1887 /// Pointer-captured drag on an `on_drag` node.
1888 drag: Option<DragState>,
1889 /// The non-primary buttons held on the node that claimed each with
1890 /// `on_button`, one capture per button, in press order.
1891 /// Empty — and unallocated — in an app that declares none.
1892 held_buttons: Vec<ButtonCapture>,
1893 /// Pointer-captured slide on a slider that declared `on_change`: the
1894 /// node, its track, and the last value proposed, so a move that lands
1895 /// on the same step proposes nothing.
1896 slide: Option<(Key, OriginId, Box<crate::slider::SliderTrack>, f64)>,
1897 /// The last primary press's driver-measured click count (1 for a
1898 /// single, 2 for a double, …): what the `clicks` a press or drag
1899 /// inside a key sink carries reads.
1900 press_clicks: u8,
1901 /// Last reported physical modifier state.
1902 modifiers: KeyMods,
1903 cursor: Option<Vec2>,
1904 hovered: Option<Key>,
1905 pressed: Option<Key>,
1906 /// Hover group of the hovered / pressed region, for group styling.
1907 hovered_group: Option<u64>,
1908 pressed_group: Option<u64>,
1909 /// The `on_hover` leave event for the hovered node, prepared on enter.
1910 hovered_leave: Option<UiEvent>,
1911 /// The zone files dragged in from the OS are over, with the `leave`
1912 /// prepared at `enter` — the region may be gone from the next
1913 /// frame's hits.
1914 drop: Option<DropHover>,
1915 /// Hover enter/leave events raised outside `handle` — a new frame's hit
1916 /// regions changing what sits under a still cursor. Drained by the next
1917 /// `handle` or by `take_pending`.
1918 pending: Vec<UiEvent>,
1919}
1920
1921impl Interaction {
1922 pub fn set_hits(&mut self, hits: Vec<HitRegion>) {
1923 self.set_hits_shaped(hits, HitShapes::default());
1924 }
1925
1926 /// `set_hits` with the points the regions' shapes index.
1927 pub fn set_hits_shaped(&mut self, hits: Vec<HitRegion>, shapes: HitShapes) {
1928 self.hits = hits;
1929 self.shape_points = shapes.points;
1930 let mut out = std::mem::take(&mut self.pending);
1931 // The pointer is where it was: whatever changed under it is the
1932 // content (backlog DX20).
1933 self.refresh_hover(&mut out, "content");
1934 self.pending = out;
1935 }
1936
1937 /// Events produced outside `handle` (see `pending`); drivers take them
1938 /// after finishing a frame so a hover change under a still cursor is
1939 /// not delayed until the next input.
1940 pub fn take_pending(&mut self) -> Vec<UiEvent> {
1941 std::mem::take(&mut self.pending)
1942 }
1943
1944 /// Drains the sounds nodes asked for since the last drain.
1945 pub(crate) fn take_sound_requests(&mut self) -> Vec<crate::resources::SoundId> {
1946 std::mem::take(&mut self.sound_requests)
1947 }
1948
1949 /// Hands back the previous frame's hit buffer (cleared) so emission can
1950 /// refill it without reallocating.
1951 pub fn take_hit_buffer(&mut self) -> Vec<HitRegion> {
1952 let mut hits = std::mem::take(&mut self.hits);
1953 hits.clear();
1954 hits
1955 }
1956
1957 /// The previous frame's point list (cleared), on the same terms.
1958 pub fn take_shape_buffer(&mut self) -> HitShapes {
1959 let mut shapes = HitShapes {
1960 points: std::mem::take(&mut self.shape_points),
1961 };
1962 shapes.points.clear();
1963 shapes
1964 }
1965
1966 /// Whether `p` is in region `h`: inside its rect and its clip, and
1967 /// inside its shape when it has one. The rect test is what every
1968 /// region pays; the shape is paid by the few under the pointer.
1969 #[inline]
1970 fn contains(&self, h: &HitRegion, p: Vec2) -> bool {
1971 if !(h.rect.contains(p) && h.clip.contains(p)) {
1972 return false;
1973 }
1974 if h.shape == HitShape::Rect {
1975 return true;
1976 }
1977 let local = Vec2::new(p.x - h.rect.x, p.y - h.rect.y);
1978 match h.shape {
1979 HitShape::Rect => true,
1980 HitShape::Rounded(radii) => in_rounded_rect(local, h.rect.w, h.rect.h, radii),
1981 // A shape whose points are not here — a region installed
1982 // through `set_hits` without its shapes, or one from another
1983 // frame — misses rather than panics in the input path.
1984 HitShape::Segments { first, len, width } => {
1985 let Some(pts) = self
1986 .shape_points
1987 .get(first as usize..(first + len) as usize)
1988 else {
1989 return false;
1990 };
1991 let half = (width * 0.5).max(MIN_STROKE_GRAB * 0.5);
1992 pts.windows(2)
1993 .any(|w| segment_distance(local, w[0], w[1]) <= half)
1994 }
1995 HitShape::Polygon { first, len } => {
1996 let Some(pts) = self
1997 .shape_points
1998 .get(first as usize..(first + len) as usize)
1999 else {
2000 return false;
2001 };
2002 in_polygon(local, pts)
2003 }
2004 HitShape::Path { first, len, rule } => {
2005 let Some(pts) = self
2006 .shape_points
2007 .get(first as usize..(first + len) as usize)
2008 else {
2009 return false;
2010 };
2011 crate::path::in_path(local, pts, rule)
2012 }
2013 }
2014 }
2015
2016 pub fn cursor(&self) -> Option<Vec2> {
2017 self.cursor
2018 }
2019
2020 /// Physical modifier state as of the last `InputEvent::Modifiers`.
2021 pub fn modifiers(&self) -> KeyMods {
2022 self.modifiers
2023 }
2024
2025 /// This frame's hit regions in paint order (topmost last) — for hosts
2026 /// that mirror chrome regions into OS-level hit testing (e.g. answering
2027 /// Windows' WM_NCHITTEST so snap layouts and native caption behavior
2028 /// work over custom-drawn controls).
2029 pub fn hits(&self) -> &[HitRegion] {
2030 &self.hits
2031 }
2032
2033 pub(crate) fn hit_at(&self, p: Vec2) -> Option<&HitRegion> {
2034 self.hits.iter().rev().find(|h| self.contains(h, p))
2035 }
2036
2037 /// Every scroll region under the cursor — containers and `on_scroll`
2038 /// handlers — topmost by paint order first: what a notch walks when
2039 /// the innermost scroller moves on one axis only.
2040 pub(crate) fn scroll_regions_at(&self) -> impl Iterator<Item = &ScrollRegion> {
2041 let p = self.cursor;
2042 self.scroll_regions.iter().rev().filter(move |r| {
2043 p.is_some_and(|p| !r.inert && r.rect.contains(p) && r.clip.contains(p))
2044 })
2045 }
2046
2047 /// The content origin the editor `key` was drawn at this frame — what
2048 /// a caret drag places against. Read off the frame rather than kept
2049 /// from the press: a scroller nudged under a held drag moves the
2050 /// origin, and a caret placed against the press's origin would land
2051 /// the nudge off.
2052 pub(crate) fn edit_origin_of(&self, key: Key) -> Option<Vec2> {
2053 self.hits
2054 .iter()
2055 .rev()
2056 .find(|h| h.key == key && h.edit_origin.is_some())
2057 .and_then(|h| h.edit_origin)
2058 }
2059
2060 /// Re-resolves the hovered region under the cursor, emitting `on_hover`
2061 /// leave/enter events when the hovered node changes. `by` is what
2062 /// moved: `"pointer"` for the cursor, `"content"` for a frame that put
2063 /// something else under a still one — a list scrolled by the wheel or
2064 /// the keyboard, a row that grew.
2065 fn refresh_hover(&mut self, out: &mut Vec<UiEvent>, by: &'static str) {
2066 let before = self.hovered;
2067 // Through `target_at`, like the press and the cursor shape (ADR
2068 // 0023, decision 4): over a bar painted above the node, nothing
2069 // is hovered — the node beneath used to light its `hover_bg` and
2070 // fire `enter` while the press would have grabbed the thumb
2071 // (backlog AR31).
2072 let idx = self.cursor.and_then(|p| match self.target_at(p)? {
2073 Target::Bar(_) => None,
2074 Target::Hit(h) => self.hits.iter().rposition(|x| std::ptr::eq(x, h)),
2075 });
2076 let (hovered, group) = match idx {
2077 Some(i) => (Some(self.hits[i].key), self.hits[i].group),
2078 None => (None, None),
2079 };
2080 self.hovered = hovered;
2081 self.hovered_group = group;
2082 if before == hovered {
2083 return;
2084 }
2085 // The old region may be gone from a new frame's hits, so the leave
2086 // event was prepared when the node was entered.
2087 out.extend(self.hovered_leave.take().map(|ev| Self::moved_by(ev, by)));
2088 if let Some(i) = idx {
2089 out.extend(Self::hover_event(&self.hits[i], "enter").map(|ev| Self::moved_by(ev, by)));
2090 self.hovered_leave = Self::hover_event(&self.hits[i], "leave");
2091 if let Some(sound) = self.hits[i].hover_sound {
2092 self.sound_requests.push(sound);
2093 }
2094 }
2095 }
2096
2097 /// A hover event's `by`, set as it goes out: a `leave` is built when
2098 /// its node is entered, before anyone knows what will move.
2099 fn moved_by(mut ev: UiEvent, by: &'static str) -> UiEvent {
2100 if let Value::Map(entries) = &mut ev.payload {
2101 // After `phase`, before the tag: the order the payload reads in.
2102 let at = entries
2103 .iter()
2104 .position(|(k, _)| k == "tag")
2105 .unwrap_or(entries.len());
2106 entries.insert(at, ("by".to_string(), Value::str(by)));
2107 }
2108 ev
2109 }
2110
2111 fn hover_event(region: &HitRegion, phase: &str) -> Option<UiEvent> {
2112 let tag = region.hover.as_ref()?;
2113 let payload = Value::map([("kind", Value::str("hover")), ("phase", Value::str(phase))]);
2114 Some(UiEvent::on(region.origin, region.key, payload).tagged(Some(tag)))
2115 }
2116
2117 fn context_menu_event(region: &HitRegion, p: Vec2) -> Option<UiEvent> {
2118 let owner = region.context_menu.as_ref()?;
2119 let payload = Value::map([
2120 ("kind", Value::str("contextmenu")),
2121 ("x", Value::Float(p.x as f64)),
2122 ("y", Value::Float(p.y as f64)),
2123 ]);
2124 Some(UiEvent::on(owner.origin, owner.key, payload).tagged(Some(&owner.tag)))
2125 }
2126
2127 /// What is under `p`, by the paint order and nothing else: the topmost
2128 /// hit region there, or the topmost scrollbar there if it was painted
2129 /// over that region — a bar wins the content of its own scroller and
2130 /// loses to a float over it. The press and the
2131 /// cursor shape both ask this, so they cannot disagree. A bar behind a
2132 /// modal is drawn and not a target.
2133 pub(crate) fn target_at(&self, p: Vec2) -> Option<Target<'_>> {
2134 let hit = self.hits.iter().rposition(|h| self.contains(h, p));
2135 let bar = self
2136 .scrollbars
2137 .iter()
2138 .rev()
2139 .find(|b| !b.inert && b.track.contains(p));
2140 match (bar, hit) {
2141 (Some(b), Some(h)) if (h as u32) < b.above => Some(Target::Bar(*b)),
2142 (Some(b), None) => Some(Target::Bar(*b)),
2143 (_, Some(h)) => Some(Target::Hit(&self.hits[h])),
2144 (None, None) => None,
2145 }
2146 }
2147
2148 /// Whether this bar is being thumb-dragged (for active styling).
2149 pub fn is_scrollbar_dragging(&self, key: Key, axis: ScrollAxis) -> bool {
2150 matches!(self.scrollbar_drag, Some((k, a, _)) if k == key && a == axis)
2151 }
2152
2153 fn drag_event(state: &DragState, phase: &str, p: Vec2, d: Vec2) -> UiEvent {
2154 let pr = state.parent_rect;
2155 let payload = Value::map([
2156 ("kind", Value::str("drag")),
2157 ("phase", Value::str(phase)),
2158 ("x", Value::Float(p.x as f64)),
2159 ("y", Value::Float(p.y as f64)),
2160 ("dx", Value::Float(d.x as f64)),
2161 ("dy", Value::Float(d.y as f64)),
2162 (
2163 "parent",
2164 Value::map([
2165 ("x", Value::Float(pr.x as f64)),
2166 ("y", Value::Float(pr.y as f64)),
2167 ("w", Value::Float(pr.w as f64)),
2168 ("h", Value::Float(pr.h as f64)),
2169 ]),
2170 ),
2171 ]);
2172 UiEvent::on(state.origin, state.key, payload).tagged(Some(&state.tag))
2173 }
2174
2175 /// `{kind="button", phase, button, x, y, clicks?, tag}` on the owner;
2176 /// `clicks` on the press only.
2177 fn button_event(
2178 owner: &ButtonOwner,
2179 button: MouseButton,
2180 phase: &str,
2181 p: Vec2,
2182 clicks: Option<u8>,
2183 ) -> UiEvent {
2184 let mut fields = vec![
2185 ("kind", Value::str("button")),
2186 ("phase", Value::str(phase)),
2187 ("button", button.to_value()),
2188 ("x", Value::Float(p.x as f64)),
2189 ("y", Value::Float(p.y as f64)),
2190 ];
2191 if let Some(clicks) = clicks {
2192 fields.push(("clicks", Value::Int(clicks as i64)));
2193 }
2194 UiEvent::on(owner.origin, owner.key, Value::map(fields)).tagged(Some(&owner.tag))
2195 }
2196
2197 /// A non-primary press the core found an `on_button` owner for:
2198 /// the owner hears `press`, and the button is captured
2199 /// by it — every move while it is held and its release go to the same
2200 /// node wherever the pointer is. A second press of a button already
2201 /// held (its release lost to another window) starts over: the old
2202 /// owner hears its capture end in a `release` first, since a capture
2203 /// never ends without one. Nothing else happens: no pressed state, no
2204 /// focus, no context menu. Returns how many pointer-made events it
2205 /// pushed, as `handle` does.
2206 pub(crate) fn press_button(
2207 &mut self,
2208 button: MouseButton,
2209 clicks: u8,
2210 owner: ButtonOwner,
2211 out: &mut Vec<UiEvent>,
2212 ) -> usize {
2213 out.append(&mut self.pending);
2214 let Some(p) = self.cursor else {
2215 return 0;
2216 };
2217 let mut n = 0;
2218 if let Some(i) = self.held_buttons.iter().position(|h| h.button == button) {
2219 let held = self.held_buttons.remove(i);
2220 out.push(Self::button_event(&held.owner, button, "release", p, None));
2221 n += 1;
2222 }
2223 out.push(Self::button_event(&owner, button, "press", p, Some(clicks)));
2224 self.held_buttons.push(ButtonCapture {
2225 button,
2226 owner,
2227 last: p,
2228 });
2229 n + 1
2230 }
2231
2232 /// Lets go of every held button, each owner hearing its `release`
2233 /// where the pointer was last seen: the window lost the
2234 /// keyboard, and the real releases will happen where this window
2235 /// never hears them — as a held key gets its synthetic up. Returns
2236 /// how many events it pushed, for the core's `attach_pointer`.
2237 pub(crate) fn release_buttons(&mut self, out: &mut Vec<UiEvent>) -> usize {
2238 let n = self.held_buttons.len();
2239 for held in std::mem::take(&mut self.held_buttons) {
2240 let p = self.cursor.unwrap_or(held.last);
2241 out.push(Self::button_event(
2242 &held.owner,
2243 held.button,
2244 "release",
2245 p,
2246 None,
2247 ));
2248 }
2249 n
2250 }
2251
2252 /// Lets go of the primary button's hold without a click: an `on_drag` node
2253 /// hears its drag `end` and a slider its
2254 /// slide's `end` where the pointer was last seen, and the press is
2255 /// forgotten. The window lost the keyboard, and the release will
2256 /// happen where it never hears it — a click nobody finished must not
2257 /// fire. Returns how many events it pushed, for `attach_pointer`.
2258 pub(crate) fn release_primary(&mut self, out: &mut Vec<UiEvent>) -> usize {
2259 let mut n = 0;
2260 if let Some(drag) = self.drag.take() {
2261 let p = self.cursor.unwrap_or(drag.last);
2262 out.push(Self::drag_event(&drag, "end", p, drag.displacement(p)));
2263 n += 1;
2264 }
2265 if let Some((key, origin, track, last)) = self.slide.take() {
2266 let v = self.cursor.map_or(last, |p| track.value_at(p));
2267 out.push(crate::slider::change_event(
2268 origin, key, v, "end", &track.tag,
2269 ));
2270 n += 1;
2271 }
2272 self.pressed = None;
2273 self.pressed_group = None;
2274 n
2275 }
2276
2277 /// Lets go of every held button whose owner `alive` says is gone from
2278 /// the frame: nothing is left to hear its release.
2279 pub(crate) fn drop_gone_buttons(&mut self, alive: impl Fn(Key) -> bool) {
2280 if !self.held_buttons.is_empty() {
2281 self.held_buttons.retain(|h| alive(h.owner.key));
2282 }
2283 }
2284
2285 /// The node holding `button`'s capture, if a claimed press of it is
2286 /// held.
2287 pub fn button_owner(&self, button: MouseButton) -> Option<Key> {
2288 self.held_buttons
2289 .iter()
2290 .find(|h| h.button == button)
2291 .map(|h| h.owner.key)
2292 }
2293
2294 /// Returns how many of the events at the end of `out` a press made —
2295 /// a drag in any phase, a click on the release — as against the
2296 /// hover, context-menu and modifier events it also raises. That is
2297 /// the mark `Core::attach_pointer` reads to give a click or drag its
2298 /// `cell` and `line` / `byte` / `clicks`: said here, where the event
2299 /// is built, rather than guessed afterwards from its payload's
2300 /// `kind`. Every arm pushes its pointer-made events last.
2301 pub fn handle(&mut self, ev: InputEvent, out: &mut Vec<UiEvent>) -> usize {
2302 out.append(&mut self.pending);
2303 let mut pointer_made = 0;
2304 match ev {
2305 InputEvent::CursorMoved(p) => {
2306 self.cursor = Some(p);
2307 self.refresh_hover(out, "pointer");
2308 if let Some((key, origin, track, last)) = &mut self.slide {
2309 let v = track.value_at(p);
2310 if v != *last {
2311 *last = v;
2312 out.push(crate::slider::change_event(
2313 *origin, *key, v, "move", &track.tag,
2314 ));
2315 pointer_made += 1;
2316 }
2317 }
2318 if let Some(drag) = &mut self.drag
2319 && p != drag.last
2320 {
2321 drag.last = p;
2322 let d = drag.displacement(p);
2323 if d.x.abs() + d.y.abs() > DRAG_SLOP {
2324 drag.moved = true;
2325 }
2326 if drag.moved {
2327 out.push(Self::drag_event(drag, "move", p, d));
2328 pointer_made += 1;
2329 }
2330 }
2331 // Every held button's owner hears the motion, with no
2332 // slop: a terminal reports a drag of one cell (F105).
2333 for held in &mut self.held_buttons {
2334 if p != held.last {
2335 held.last = p;
2336 out.push(Self::button_event(&held.owner, held.button, "move", p, None));
2337 pointer_made += 1;
2338 }
2339 }
2340 }
2341 InputEvent::CursorLeft => {
2342 self.cursor = None;
2343 self.refresh_hover(out, "pointer");
2344 }
2345 InputEvent::MouseDown { button, .. } if button != MouseButton::Primary => {
2346 // Nothing but the primary button presses: no pressed
2347 // state, so a release cannot become a click, and a drag
2348 // already in flight keeps its capture. A secondary press
2349 // asks whatever is under the pointer for a context menu.
2350 // A press an `on_button` node claimed never gets here: the
2351 // core resolves it and calls `press_button` instead.
2352 if button == MouseButton::Secondary
2353 && let Some(p) = self.cursor
2354 && let Some(ev) = self.hit_at(p).and_then(|h| Self::context_menu_event(h, p))
2355 {
2356 out.push(ev);
2357 }
2358 }
2359 InputEvent::MouseDown { clicks, .. } => {
2360 self.pressed = self.hovered;
2361 self.pressed_group = self.hovered_group;
2362 self.press_clicks = clicks;
2363 if let Some(h) = self.cursor.and_then(|p| self.hit_at(p)) {
2364 if h.window == Some(WindowRole::Drag) {
2365 // The OS drag steals subsequent mouse events, so don't
2366 // leave a press pending.
2367 self.pressed = None;
2368 self.window_commands
2369 .push(WindowCommand::StartDrag(self.window));
2370 } else if let Some(track) = &h.slider {
2371 let p = self.cursor.unwrap();
2372 let v = track.value_at(p);
2373 out.push(crate::slider::change_event(
2374 h.origin, h.key, v, "move", &track.tag,
2375 ));
2376 pointer_made += 1;
2377 self.slide = Some((h.key, h.origin, track.clone(), v));
2378 } else if let Some(tag) = &h.drag {
2379 let p = self.cursor.unwrap();
2380 let state = DragState {
2381 key: h.key,
2382 origin: h.origin,
2383 tag: tag.clone(),
2384 parent_rect: h.parent_rect,
2385 press: p,
2386 last: p,
2387 moved: false,
2388 };
2389 out.push(Self::drag_event(&state, "start", p, Vec2::ZERO));
2390 pointer_made += 1;
2391 self.drag = Some(state);
2392 }
2393 }
2394 }
2395 InputEvent::Modifiers(m) => {
2396 if m != self.modifiers {
2397 self.modifiers = m;
2398 out.push(UiEvent {
2399 origin: OriginId::HOST,
2400 window: WindowId::MAIN,
2401 key: Key::ROOT,
2402 payload: m.to_value(),
2403 slot: None,
2404 });
2405 }
2406 }
2407 // Routed by the core (they need the retained stores).
2408 InputEvent::Scroll(_)
2409 | InputEvent::ScrollGesture { .. }
2410 | InputEvent::Text(_)
2411 | InputEvent::Commit(_)
2412 | InputEvent::Paste { .. }
2413 | InputEvent::Preedit(..)
2414 | InputEvent::Key(..)
2415 | InputEvent::KeyDown(_)
2416 | InputEvent::KeyUp(_)
2417 | InputEvent::Access(_)
2418 // A force click needs the text and selection stores, and the
2419 // node it lands on it finds by hit test the way a secondary
2420 // press does.
2421 | InputEvent::ForceClick(_) => {}
2422 InputEvent::DragFiles { paths, at } => self.drag_files(&paths, at, out),
2423 InputEvent::DropFiles { paths, at } => self.drop_files(&paths, at, out),
2424 InputEvent::DragCancel => self.drag_cancel(out),
2425 // The core's, answered before the pointer is asked.
2426 InputEvent::Files(_) => {}
2427 // A non-primary release resolves no click; it ends the capture
2428 // its press began, if an `on_button` node claimed that press.
2429 InputEvent::MouseUp { button } if button != MouseButton::Primary => {
2430 if let Some(i) = self.held_buttons.iter().position(|h| h.button == button) {
2431 let held = self.held_buttons.remove(i);
2432 let p = self.cursor.unwrap_or(held.last);
2433 out.push(Self::button_event(&held.owner, button, "release", p, None));
2434 pointer_made += 1;
2435 }
2436 }
2437 InputEvent::MouseUp { .. } => {
2438 let dragged = self.drag.take().inspect(|drag| {
2439 let p = self.cursor.unwrap_or(drag.last);
2440 out.push(Self::drag_event(drag, "end", p, drag.displacement(p)));
2441 pointer_made += 1;
2442 });
2443 // A slide ends where the pointer let go: the value to
2444 // commit, proposed again whether or not it moved.
2445 let slid = self.slide.take().inspect(|(key, origin, track, last)| {
2446 let v = self.cursor.map_or(*last, |p| track.value_at(p));
2447 out.push(crate::slider::change_event(
2448 *origin, *key, v, "end", &track.tag,
2449 ));
2450 pointer_made += 1;
2451 });
2452 // A press that actually dragged is not a click, and a
2453 // press on a slider's track is the slide, never a click.
2454 let click_ok = !dragged.is_some_and(|d| d.moved) && slid.is_none();
2455 if click_ok
2456 && let (Some(pressed), Some(hovered)) = (self.pressed, self.hovered)
2457 && pressed == hovered
2458 && let Some(region) = self.hits.iter().rev().find(|h| h.key == pressed)
2459 {
2460 if let Some(sound) = region.click_sound {
2461 self.sound_requests.push(sound);
2462 }
2463 match (region.window, ®ion.payload) {
2464 (Some(WindowRole::Button(b)), _) => {
2465 self.window_commands.push(b.command(self.window))
2466 }
2467 (Some(WindowRole::Drag), _) | (None, None) => {}
2468 (None, Some(payload)) => {
2469 out.push(UiEvent {
2470 origin: region.origin,
2471 window: WindowId::MAIN,
2472 key: region.key,
2473 payload: payload.clone(),
2474 slot: None,
2475 });
2476 pointer_made += 1;
2477 }
2478 }
2479 }
2480 self.pressed = None;
2481 self.pressed_group = None;
2482 }
2483 }
2484 pointer_made
2485 }
2486
2487 pub fn is_hovered(&self, key: Key) -> bool {
2488 self.hovered == Some(key)
2489 }
2490
2491 /// Whether files dragged in from the OS are over `key`:
2492 /// what `drop_bg` reads when the node opens.
2493 pub fn is_drop_target(&self, key: Key) -> bool {
2494 self.drop.as_ref().is_some_and(|d| d.owner.key == key)
2495 }
2496
2497 /// The zone the dragged files are over, if any — what a driver
2498 /// answers the OS with (a copy cursor over a zone, not-allowed
2499 /// elsewhere) and what a test reads to say a zone was found.
2500 pub fn drop_target(&self) -> Option<Key> {
2501 self.drop.as_ref().map(|d| d.owner.key)
2502 }
2503
2504 /// The topmost zone under `p`: the topmost
2505 /// region there whose resolved `drop` is some. A region resolving to
2506 /// no zone — an overlay the app showed on `enter` — is looked past.
2507 fn zone_at(&self, p: Vec2) -> Option<&DropOwner> {
2508 self.hits
2509 .iter()
2510 .rev()
2511 .find(|h| h.drop.is_some() && self.contains(h, p))
2512 .and_then(|h| h.drop.as_ref())
2513 }
2514
2515 fn drop_event(owner: &DropOwner, phase: &str, paths: &[String], at: Option<Vec2>) -> UiEvent {
2516 let mut fields = vec![
2517 ("kind", Value::str("drop")),
2518 ("phase", Value::str(phase)),
2519 (
2520 "paths",
2521 Value::list(
2522 paths
2523 .iter()
2524 .map(|p| Value::str(p.as_str()))
2525 .collect::<Vec<_>>(),
2526 ),
2527 ),
2528 ];
2529 if let Some(p) = at {
2530 fields.push(("x", Value::Float(p.x as f64)));
2531 fields.push(("y", Value::Float(p.y as f64)));
2532 }
2533 UiEvent::on(owner.origin, owner.key, Value::map(fields)).tagged(Some(&owner.tag))
2534 }
2535
2536 fn drag_files(&mut self, paths: &[String], at: Vec2, out: &mut Vec<UiEvent>) {
2537 let zone = self.zone_at(at).cloned();
2538 if let (Some(cur), Some(z)) = (&mut self.drop, &zone)
2539 && cur.owner.key == z.key
2540 && cur.owner.origin == z.origin
2541 {
2542 if cur.last != at {
2543 cur.last = at;
2544 out.push(Self::drop_event(z, "move", paths, Some(at)));
2545 }
2546 return;
2547 }
2548 out.extend(self.drop.take().map(|d| d.leave));
2549 if let Some(owner) = zone {
2550 out.push(Self::drop_event(&owner, "enter", paths, Some(at)));
2551 let leave = Self::drop_event(&owner, "leave", paths, None);
2552 self.drop = Some(DropHover {
2553 owner,
2554 last: at,
2555 leave,
2556 });
2557 }
2558 }
2559
2560 fn drop_files(&mut self, paths: &[String], at: Vec2, out: &mut Vec<UiEvent>) {
2561 let zone = self.zone_at(at).cloned();
2562 // The lit zone is not the one under the point (a headless drive
2563 // that never sent `DragFiles`, a frame that moved the zone): it
2564 // hears its leave first. The zone that takes the drop hears no
2565 // leave — the drop ends the hover (decision 1).
2566 if let Some(cur) = self.drop.take()
2567 && !zone
2568 .as_ref()
2569 .is_some_and(|z| z.key == cur.owner.key && z.origin == cur.owner.origin)
2570 {
2571 out.push(cur.leave);
2572 }
2573 if let Some(owner) = zone {
2574 out.push(Self::drop_event(&owner, "drop", paths, Some(at)));
2575 }
2576 }
2577
2578 fn drag_cancel(&mut self, out: &mut Vec<UiEvent>) {
2579 out.extend(self.drop.take().map(|d| d.leave));
2580 }
2581
2582 pub fn is_pressed(&self, key: Key) -> bool {
2583 self.pressed == Some(key) && (self.hovered == Some(key) || self.drag_captured(key))
2584 }
2585
2586 /// Whether a pointer-captured drag is running on `key`. The press is
2587 /// stuck to that node until release, so it stays pressed even when the
2588 /// cursor wanders off it (hover itself keeps following the cursor, so
2589 /// drop targets under the drag still light up).
2590 fn drag_captured(&self, key: Key) -> bool {
2591 self.drag.as_ref().is_some_and(|d| d.key == key)
2592 }
2593
2594 /// The hovered node, if any (its key from the last finished frame).
2595 pub fn hovered(&self) -> Option<Key> {
2596 self.hovered
2597 }
2598
2599 /// The node a press is held on, if any.
2600 /// The click count the last primary press carried; see
2601 /// `press_clicks`. Zero after a click nothing pressed for — Enter,
2602 /// Space, an assistive-technology `click` — so a payload attached
2603 /// from the pointer's position does not describe a press that never
2604 /// happened.
2605 pub(crate) fn press_clicks(&self) -> u8 {
2606 self.press_clicks
2607 }
2608
2609 /// A click is being made without a press (`Core::click_node`): the
2610 /// count the last press carried no longer describes it.
2611 pub(crate) fn note_synthetic_click(&mut self) {
2612 self.press_clicks = 0;
2613 }
2614
2615 pub fn pressed_key(&self) -> Option<Key> {
2616 self.pressed
2617 }
2618
2619 /// The pointer shape for where the pointer is now (see
2620 /// [`crate::cursor`]): what the topmost region under it — the same
2621 /// region a click would go to — declared with `cursor`, the I-beam
2622 /// over text, and the arrow otherwise. A clickable or draggable node
2623 /// that declared nothing is the arrow: a hand or a grab is the view's
2624 /// to say.
2625 pub fn cursor_shape(&self) -> CursorShape {
2626 // A captured drag owns the pointer: the shape stays the dragged
2627 // node's however far the cursor wanders off it.
2628 if let Some(drag) = &self.drag {
2629 return self
2630 .hits
2631 .iter()
2632 .rev()
2633 .find(|h| h.key == drag.key)
2634 .and_then(|h| h.cursor)
2635 .unwrap_or(CursorShape::Default);
2636 }
2637 // A bar that would take the press takes the shape too — an
2638 // overlay bar across an editor is not an I-beam — and a float
2639 // over the bar keeps its own.
2640 if self.scrollbar_drag.is_some() {
2641 return CursorShape::Default;
2642 }
2643 let Some(p) = self.cursor else {
2644 return CursorShape::Default;
2645 };
2646 match self.target_at(p) {
2647 Some(Target::Hit(region)) => {
2648 region.cursor.unwrap_or_else(|| Self::implied_shape(region))
2649 }
2650 Some(Target::Bar(_)) | None => CursorShape::Default,
2651 }
2652 }
2653
2654 /// The shape a region takes when it declares none: the I-beam over
2655 /// text that can be edited or selected — the one shape every desktop
2656 /// derives, because the words themselves are what says they can be
2657 /// taken — and the arrow over everything else. Nothing here reads
2658 /// `payload`, `drag` or `focusable`: a hand over a button and a grab
2659 /// over a handle are declared, and the stock button declares its own.
2660 fn implied_shape(region: &HitRegion) -> CursorShape {
2661 match region {
2662 // Window chrome is the platform's: every desktop points at a
2663 // titlebar and its buttons with the plain arrow.
2664 _ if region.window.is_some() => CursorShape::Default,
2665 _ if region.edit_origin.is_some() => CursorShape::Text,
2666 _ if region.select_scope.is_some() => CursorShape::Text,
2667 _ => CursorShape::Default,
2668 }
2669 }
2670
2671 /// Whether any member of hover group `group` is hovered.
2672 pub fn is_group_hovered(&self, group: u64) -> bool {
2673 self.hovered_group == Some(group)
2674 }
2675
2676 /// Whether the press started on a member of `group` and the pointer is
2677 /// still over one (the group analogue of `is_pressed`).
2678 pub fn is_group_pressed(&self, group: u64) -> bool {
2679 self.pressed_group == Some(group)
2680 && (self.hovered_group == Some(group) || self.drag.is_some())
2681 }
2682}
2683
2684#[cfg(test)]
2685mod tests {
2686 use super::*;
2687
2688 fn region(key: Key, origin: u16, x: f32, y: f32, w: f32, h: f32, tag: &str) -> HitRegion {
2689 HitRegion {
2690 key,
2691 origin: OriginId(origin),
2692 rect: Rect::new(x, y, w, h),
2693 clip: Rect::new(-1e9, -1e9, 2e9, 2e9),
2694 shape: HitShape::Rect,
2695 payload: Some(Value::str(tag)),
2696 drag: None,
2697 parent_rect: Rect::new(0.0, 0.0, 0.0, 0.0),
2698 edit_origin: None,
2699 select_scope: None,
2700 key_sink: None,
2701 key_up: false,
2702 context_menu: None,
2703 drop: None,
2704 focusable: true,
2705 window: None,
2706 hover: None,
2707 group: None,
2708 click_sound: None,
2709 hover_sound: None,
2710 cursor: None,
2711 slider: None,
2712 }
2713 }
2714
2715 fn drive(interaction: &mut Interaction, events: &[InputEvent]) -> Vec<UiEvent> {
2716 let mut out = Vec::new();
2717 for ev in events {
2718 interaction.handle(ev.clone(), &mut out);
2719 }
2720 out
2721 }
2722
2723 #[test]
2724 fn click_inside_produces_event() {
2725 let mut it = Interaction::default();
2726 let k = Key::ROOT.str("btn");
2727 it.set_hits(vec![region(k, 0, 10.0, 10.0, 100.0, 30.0, "go")]);
2728 let evs = drive(
2729 &mut it,
2730 &[
2731 InputEvent::CursorMoved(Vec2::new(50.0, 20.0)),
2732 InputEvent::mouse_down(1),
2733 InputEvent::mouse_up(),
2734 ],
2735 );
2736 assert_eq!(evs.len(), 1);
2737 assert_eq!(evs[0].key, k);
2738 assert_eq!(evs[0].payload.as_str(), Some("go"));
2739 }
2740
2741 #[test]
2742 fn press_then_drag_away_does_not_click() {
2743 let mut it = Interaction::default();
2744 let k = Key::ROOT.str("btn");
2745 it.set_hits(vec![region(k, 0, 0.0, 0.0, 50.0, 50.0, "go")]);
2746 let evs = drive(
2747 &mut it,
2748 &[
2749 InputEvent::CursorMoved(Vec2::new(10.0, 10.0)),
2750 InputEvent::mouse_down(1),
2751 InputEvent::CursorMoved(Vec2::new(500.0, 500.0)),
2752 InputEvent::mouse_up(),
2753 ],
2754 );
2755 assert!(evs.is_empty());
2756 }
2757
2758 #[test]
2759 fn topmost_region_wins_on_overlap() {
2760 let mut it = Interaction::default();
2761 let bottom = Key::ROOT.str("bottom");
2762 let top = Key::ROOT.str("top");
2763 it.set_hits(vec![
2764 region(bottom, 0, 0.0, 0.0, 100.0, 100.0, "bottom"),
2765 region(top, 0, 25.0, 25.0, 50.0, 50.0, "top"),
2766 ]);
2767 let evs = drive(
2768 &mut it,
2769 &[
2770 InputEvent::CursorMoved(Vec2::new(50.0, 50.0)),
2771 InputEvent::mouse_down(1),
2772 InputEvent::mouse_up(),
2773 ],
2774 );
2775 assert_eq!(evs.len(), 1);
2776 assert_eq!(evs[0].key, top);
2777 }
2778
2779 #[test]
2780 fn event_carries_declaring_origin() {
2781 let mut it = Interaction::default();
2782 let k = Key::ROOT.str("ext-btn");
2783 it.set_hits(vec![region(k, 3, 0.0, 0.0, 10.0, 10.0, "x")]);
2784 let evs = drive(
2785 &mut it,
2786 &[
2787 InputEvent::CursorMoved(Vec2::new(5.0, 5.0)),
2788 InputEvent::mouse_down(1),
2789 InputEvent::mouse_up(),
2790 ],
2791 );
2792 assert_eq!(evs[0].origin, OriginId(3));
2793 }
2794
2795 #[test]
2796 fn cursor_leave_clears_hover() {
2797 let mut it = Interaction::default();
2798 let k = Key::ROOT.str("btn");
2799 it.set_hits(vec![region(k, 0, 0.0, 0.0, 50.0, 50.0, "x")]);
2800 drive(&mut it, &[InputEvent::CursorMoved(Vec2::new(10.0, 10.0))]);
2801 assert!(it.is_hovered(k));
2802 drive(&mut it, &[InputEvent::CursorLeft]);
2803 assert!(!it.is_hovered(k));
2804 // Click after leaving produces nothing.
2805 let evs = drive(
2806 &mut it,
2807 &[InputEvent::mouse_down(1), InputEvent::mouse_up()],
2808 );
2809 assert!(evs.is_empty());
2810 }
2811
2812 #[test]
2813 fn secondary_press_asks_the_node_under_it_for_a_menu() {
2814 let mut it = Interaction::default();
2815 let k = Key::ROOT.str("panel");
2816 let mut r = region(k, 0, 0.0, 0.0, 100.0, 100.0, "click-me");
2817 r.context_menu = Some(MenuOwner {
2818 key: k,
2819 origin: OriginId::HOST,
2820 tag: Value::str("panel-menu"),
2821 });
2822 it.set_hits(vec![r]);
2823 let evs = drive(
2824 &mut it,
2825 &[
2826 InputEvent::CursorMoved(Vec2::new(40.0, 30.0)),
2827 InputEvent::MouseDown {
2828 button: MouseButton::Secondary,
2829 clicks: 1,
2830 },
2831 InputEvent::MouseUp {
2832 button: MouseButton::Secondary,
2833 },
2834 ],
2835 );
2836 // The menu arrives on the press, with the point to open it at, and
2837 // the release adds nothing — no click, though the node has one.
2838 assert_eq!(evs.len(), 1);
2839 assert_eq!(evs[0].key, k);
2840 assert_eq!(
2841 evs[0].payload.get("kind").unwrap().as_str(),
2842 Some("contextmenu")
2843 );
2844 assert_eq!(evs[0].payload.get("x").unwrap().as_float(), Some(40.0));
2845 assert_eq!(evs[0].payload.get("y").unwrap().as_float(), Some(30.0));
2846 assert_eq!(
2847 evs[0].payload.get("tag").unwrap().as_str(),
2848 Some("panel-menu")
2849 );
2850 assert!(!it.is_pressed(k));
2851 }
2852
2853 /// The rules: a button inside a zone is the
2854 /// zone, an overlay that is no zone is looked past, a drop ends the
2855 /// hover without a leave, a cancel leaves.
2856 #[test]
2857 fn dragged_files_find_the_topmost_zone_and_look_past_what_is_none() {
2858 let mut it = Interaction::default();
2859 let zone = Key::ROOT.str("zone");
2860 let button = Key::ROOT.str("button");
2861 let overlay = Key::ROOT.str("overlay");
2862 let other = Key::ROOT.str("other");
2863 let owner = |k: Key, tag: &str| {
2864 Some(DropOwner {
2865 key: k,
2866 origin: OriginId::HOST,
2867 tag: Value::str(tag),
2868 })
2869 };
2870 let mut z = region(zone, 0, 0.0, 0.0, 100.0, 100.0, "z");
2871 z.drop = owner(zone, "files");
2872 // The button is inside the zone: its region resolved to the zone.
2873 let mut b = region(button, 0, 10.0, 10.0, 30.0, 30.0, "press");
2874 b.drop = owner(zone, "files");
2875 // The overlay is painted over everything and belongs to no zone.
2876 let o = region(overlay, 0, 0.0, 0.0, 100.0, 100.0, "overlay");
2877 let mut second = region(other, 0, 100.0, 0.0, 100.0, 100.0, "o");
2878 second.drop = owner(other, "other-files");
2879 it.set_hits(vec![z, b, second, o]);
2880 let paths = vec!["/drop/1.txt".to_string()];
2881 let phases = |evs: &[UiEvent]| {
2882 evs.iter()
2883 .map(|e| {
2884 (
2885 e.key,
2886 e.payload
2887 .get("phase")
2888 .unwrap()
2889 .as_str()
2890 .unwrap()
2891 .to_string(),
2892 )
2893 })
2894 .collect::<Vec<_>>()
2895 };
2896 // Over the button, through the overlay: the zone's enter.
2897 let evs = drive(
2898 &mut it,
2899 &[InputEvent::DragFiles {
2900 paths: paths.clone(),
2901 at: Vec2::new(20.0, 20.0),
2902 }],
2903 );
2904 assert_eq!(phases(&evs), vec![(zone, "enter".to_string())]);
2905 assert_eq!(evs[0].payload.get("tag").unwrap().as_str(), Some("files"));
2906 assert_eq!(evs[0].payload.get("x").unwrap().as_float(), Some(20.0));
2907 assert_eq!(it.drop_target(), Some(zone));
2908 assert!(it.is_drop_target(zone));
2909 // The same point again is nothing; a new one is a move.
2910 let evs = drive(
2911 &mut it,
2912 &[
2913 InputEvent::DragFiles {
2914 paths: paths.clone(),
2915 at: Vec2::new(20.0, 20.0),
2916 },
2917 InputEvent::DragFiles {
2918 paths: paths.clone(),
2919 at: Vec2::new(60.0, 60.0),
2920 },
2921 ],
2922 );
2923 assert_eq!(phases(&evs), vec![(zone, "move".to_string())]);
2924 // Into the other zone: leave, then enter, in that order.
2925 let evs = drive(
2926 &mut it,
2927 &[InputEvent::DragFiles {
2928 paths: paths.clone(),
2929 at: Vec2::new(150.0, 50.0),
2930 }],
2931 );
2932 assert_eq!(
2933 phases(&evs),
2934 vec![(zone, "leave".to_string()), (other, "enter".to_string())]
2935 );
2936 assert!(evs[0].payload.get("x").is_none());
2937 // Dropped there: the drop and nothing after it.
2938 let evs = drive(
2939 &mut it,
2940 &[InputEvent::DropFiles {
2941 paths: paths.clone(),
2942 at: Vec2::new(150.0, 50.0),
2943 }],
2944 );
2945 assert_eq!(phases(&evs), vec![(other, "drop".to_string())]);
2946 assert_eq!(it.drop_target(), None);
2947 // Over the first zone, then out of the window: its leave.
2948 let evs = drive(
2949 &mut it,
2950 &[
2951 InputEvent::DragFiles {
2952 paths: paths.clone(),
2953 at: Vec2::new(50.0, 50.0),
2954 },
2955 InputEvent::DragCancel,
2956 ],
2957 );
2958 assert_eq!(
2959 phases(&evs),
2960 vec![(zone, "enter".to_string()), (zone, "leave".to_string())]
2961 );
2962 // A drop off every zone with one lit: the lit one's leave, no drop.
2963 let evs = drive(
2964 &mut it,
2965 &[
2966 InputEvent::DragFiles {
2967 paths: paths.clone(),
2968 at: Vec2::new(50.0, 50.0),
2969 },
2970 InputEvent::DropFiles {
2971 paths: paths.clone(),
2972 at: Vec2::new(250.0, 50.0),
2973 },
2974 ],
2975 );
2976 assert_eq!(
2977 phases(&evs),
2978 vec![(zone, "enter".to_string()), (zone, "leave".to_string())]
2979 );
2980 assert_eq!(it.drop_target(), None);
2981 }
2982
2983 #[test]
2984 fn secondary_press_on_a_node_without_a_menu_emits_nothing() {
2985 let mut it = Interaction::default();
2986 let k = Key::ROOT.str("btn");
2987 it.set_hits(vec![region(k, 0, 0.0, 0.0, 100.0, 100.0, "go")]);
2988 let evs = drive(
2989 &mut it,
2990 &[
2991 InputEvent::CursorMoved(Vec2::new(40.0, 30.0)),
2992 InputEvent::MouseDown {
2993 button: MouseButton::Secondary,
2994 clicks: 1,
2995 },
2996 InputEvent::MouseUp {
2997 button: MouseButton::Secondary,
2998 },
2999 ],
3000 );
3001 assert!(evs.is_empty());
3002 }
3003
3004 /// A secondary press in the middle of a primary one leaves the press
3005 /// alone: the primary release still clicks.
3006 #[test]
3007 fn secondary_press_does_not_interrupt_a_held_primary() {
3008 let mut it = Interaction::default();
3009 let k = Key::ROOT.str("btn");
3010 it.set_hits(vec![region(k, 0, 0.0, 0.0, 100.0, 100.0, "go")]);
3011 let evs = drive(
3012 &mut it,
3013 &[
3014 InputEvent::CursorMoved(Vec2::new(40.0, 30.0)),
3015 InputEvent::mouse_down(1),
3016 InputEvent::MouseDown {
3017 button: MouseButton::Secondary,
3018 clicks: 1,
3019 },
3020 InputEvent::MouseUp {
3021 button: MouseButton::Secondary,
3022 },
3023 ],
3024 );
3025 assert!(evs.is_empty());
3026 assert!(it.is_pressed(k));
3027 let evs = drive(&mut it, &[InputEvent::mouse_up()]);
3028 assert_eq!(evs.len(), 1);
3029 assert_eq!(evs[0].payload.as_str(), Some("go"));
3030 }
3031
3032 #[test]
3033 fn middle_press_routes_nowhere() {
3034 let mut it = Interaction::default();
3035 let k = Key::ROOT.str("panel");
3036 let mut r = region(k, 0, 0.0, 0.0, 100.0, 100.0, "go");
3037 r.context_menu = Some(MenuOwner {
3038 key: k,
3039 origin: OriginId::HOST,
3040 tag: Value::str("panel-menu"),
3041 });
3042 it.set_hits(vec![r]);
3043 let evs = drive(
3044 &mut it,
3045 &[
3046 InputEvent::CursorMoved(Vec2::new(40.0, 30.0)),
3047 InputEvent::MouseDown {
3048 button: MouseButton::Middle,
3049 clicks: 1,
3050 },
3051 InputEvent::MouseUp {
3052 button: MouseButton::Middle,
3053 },
3054 ],
3055 );
3056 assert!(evs.is_empty());
3057 }
3058
3059 #[test]
3060 fn button_codes_round_trip() {
3061 for b in [
3062 MouseButton::Primary,
3063 MouseButton::Secondary,
3064 MouseButton::Middle,
3065 MouseButton::Other(0),
3066 MouseButton::Other(9),
3067 ] {
3068 assert_eq!(MouseButton::from_code(b.code()), b);
3069 }
3070 }
3071
3072 #[test]
3073 fn new_frame_hits_preserve_hover_state() {
3074 let mut it = Interaction::default();
3075 let k = Key::ROOT.str("btn");
3076 it.set_hits(vec![region(k, 0, 0.0, 0.0, 50.0, 50.0, "x")]);
3077 drive(&mut it, &[InputEvent::CursorMoved(Vec2::new(10.0, 10.0))]);
3078 // Same widget moved: hover follows the rect under the cursor.
3079 it.set_hits(vec![region(k, 0, 100.0, 100.0, 50.0, 50.0, "x")]);
3080 assert!(!it.is_hovered(k));
3081 it.set_hits(vec![region(k, 0, 0.0, 0.0, 50.0, 50.0, "x")]);
3082 assert!(it.is_hovered(k));
3083 }
3084}