Function draw_setting_edit_overlay

crates/openshell-tui/src/ui/mod.rs:535–578

Render the generic setting-edit text-input overlay. Both the global-settings and sandbox-settings panes show the same editor overlay — an input box with the setting key/type in the title, an error line when validation fails, and `[Enter]`/`[Esc]` hints. This function is the single implementation; each pane resolves its own entry and then delegates here.

(
    frame: &mut Frame<'_>,
    key: &str,
    kind: openshell_core::settings::SettingValueKind,
    edit: &SettingEditState,
    area: Rect,
    theme: &Theme,
)

/// is the single implementation; each pane resolves its own entry and then
/// delegates here.
fn draw_setting_edit_overlay(
    frame: &mut Frame<'_>,
    key: &str,
    kind: openshell_core::settings::SettingValueKind,
    edit: &SettingEditState,
    area: Rect,
    theme: &Theme,
) {
    let t = theme;
    let title = format!(" Edit: {} ({}) ", key, kind.as_str());
    let mut lines = vec![
        Line::from(Span::styled(&title, t.heading)),
        Line::from(""),
        Line::from(vec![
            Span::styled("Value: ", t.muted),
            Span::styled(&edit.input, t.text),
            Span::styled("_", t.accent),
        ]),
    ];

    if let Some(ref err) = edit.error {
        lines.push(Line::from(""));
        lines.push(Line::from(Span::styled(err.as_str(), t.status_err)));
    }

    lines.push(Line::from(""));
    lines.push(Line::from(vec![
        Span::styled("[Enter]", t.key_hint),
        Span::styled(" Confirm  ", t.muted),
        Span::styled("[Esc]", t.key_hint),
        Span::styled(" Cancel", t.muted),
    ]));

    let popup_height = u16::try_from(lines.len() + 2).unwrap_or(u16::MAX);
    let popup = centered_popup(50, popup_height, area);
    frame.render_widget(Clear, popup);

    let block = Block::default()
        .borders(Borders::ALL)
        .border_style(t.border_focused)
        .padding(Padding::horizontal(1));

    frame.render_widget(Paragraph::new(lines).block(block), popup);
}

/// Draw a labeled text input field.
///