supercode_frontend_tui/terminal/
event_stream.rs

1// Derived from OpenAI Codex: codex-rs/tui/src/tui/event_stream.rs
2// Pinned source: 8604689ec5e3437eb79802d8d72249b7722fbf5b
3// Copyright 2025 OpenAI
4// Licensed under the Apache License, Version 2.0.
5// Modified by the Supercode contributors; see docs/legal/codex-frontend-extraction.toml.
6
7//! Runtime-neutral mapping of Crossterm input, focus, and resize events.
8
9use crossterm::event::Event;
10use crossterm::event::KeyEvent;
11
12/// Terminal input the frontend may translate into SDK actions.
13#[derive(Clone, Debug, Eq, PartialEq)]
14pub enum TerminalEvent {
15    Key(KeyEvent),
16    Paste(String),
17    Resize { width: u16, height: u16 },
18    FocusChanged(bool),
19}
20
21/// Map one Crossterm event without introducing app/session behavior.
22pub fn map_crossterm_event(event: Event) -> Option<TerminalEvent> {
23    match event {
24        Event::Key(key) => Some(TerminalEvent::Key(key)),
25        Event::Paste(text) => Some(TerminalEvent::Paste(text)),
26        Event::Resize(width, height) => Some(TerminalEvent::Resize { width, height }),
27        Event::FocusGained => Some(TerminalEvent::FocusChanged(true)),
28        Event::FocusLost => Some(TerminalEvent::FocusChanged(false)),
29        Event::Mouse(_) => None,
30    }
31}
32
33/// Focus and viewport state used by render scheduling and notifications.
34#[derive(Clone, Copy, Debug, Eq, PartialEq)]
35pub struct TerminalState {
36    pub width: u16,
37    pub height: u16,
38    pub focused: bool,
39}
40
41impl TerminalState {
42    pub const fn new(width: u16, height: u16) -> Self {
43        Self {
44            width,
45            height,
46            focused: true,
47        }
48    }
49
50    /// Apply focus/resize state and report whether a redraw is required.
51    pub fn apply(&mut self, event: &TerminalEvent) -> bool {
52        match event {
53            TerminalEvent::Resize { width, height } => {
54                let changed = self.width != *width || self.height != *height;
55                self.width = *width;
56                self.height = *height;
57                changed
58            }
59            TerminalEvent::FocusChanged(focused) => {
60                let changed = self.focused != *focused;
61                self.focused = *focused;
62                changed
63            }
64            TerminalEvent::Key(_) | TerminalEvent::Paste(_) => false,
65        }
66    }
67}
supercode_frontend_tui/terminal/event_stream.rs

supercode_frontend_tui/terminal/
event_stream.rs
