mirror of
https://github.com/openai/codex.git
synced 2026-09-20 12:47:38 +00:00
00cb5c465b
## What changed - Upgrade `ratatui`, `ratatui-macros`, `crossterm`, and `ansi-to-tui`, and adapt the TUI to their updated rendering, backend, color-conversion, and cell APIs. - Use Ratatui's cell-width and continuation-cell metadata when mapping OSC 8 hyperlinks so links remain aligned across wrapped wide glyphs and halfwidth characters with dakuten. - Preserve explicit hyperlinks in the sign-in success screen and empty MCP state without embedding escape sequences in the text passed to Ratatui. ## Testing - Add regression coverage for hyperlink placement across wide glyphs and halfwidth dakuten, hyperlink preservation in onboarding and MCP output, and display-width handling. GitOrigin-RevId: 8460873e5a266923acd0417bc46264845eab0134
46 lines
1.2 KiB
Rust
46 lines
1.2 KiB
Rust
use crate::render::renderable::Renderable;
|
||
use crate::render::renderable::RowRenderable;
|
||
use ratatui::style::Style;
|
||
use ratatui::style::Styled as _;
|
||
use ratatui::widgets::Paragraph;
|
||
use ratatui::widgets::Wrap;
|
||
use unicode_width::UnicodeWidthStr;
|
||
|
||
pub(crate) fn selection_option_row(
|
||
index: usize,
|
||
label: String,
|
||
is_selected: bool,
|
||
) -> Box<dyn Renderable> {
|
||
selection_option_row_with_dim(index, label, is_selected, /*dim*/ false)
|
||
}
|
||
|
||
pub(crate) fn selection_option_row_with_dim(
|
||
index: usize,
|
||
label: String,
|
||
is_selected: bool,
|
||
dim: bool,
|
||
) -> Box<dyn Renderable> {
|
||
let prefix = if is_selected {
|
||
format!("› {}. ", index + 1)
|
||
} else {
|
||
format!(" {}. ", index + 1)
|
||
};
|
||
let style = if is_selected {
|
||
Style::default().cyan()
|
||
} else if dim {
|
||
Style::default().dim()
|
||
} else {
|
||
Style::default()
|
||
};
|
||
let prefix_width = UnicodeWidthStr::width(prefix.as_str()) as u16;
|
||
let mut row = RowRenderable::new();
|
||
row.push(prefix_width, prefix.set_style(style));
|
||
row.push(
|
||
u16::MAX,
|
||
Paragraph::new(label)
|
||
.style(style)
|
||
.wrap(Wrap { trim: false }),
|
||
);
|
||
row.into()
|
||
}
|