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