envision 0.10.1

A ratatui framework for collaborative TUI development with headless testing support
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118

//! Rendering functions for the Table component.
//!
//! Extracted from the main table module to keep file sizes manageable.

use ratatui::prelude::*;
use ratatui::widgets::{Block, Borders, Cell, Row};

use super::*;

/// Renders the table into the given frame area.
pub(super) fn render_table<T: TableRow>(
    state: &TableState<T>,
    frame: &mut Frame,
    area: Rect,
    theme: &Theme,
    focused: bool,
    disabled: bool,
) {
    crate::annotation::with_registry(|reg| {
        let mut ann = crate::annotation::Annotation::table("table")
            .with_focus(focused)
            .with_disabled(disabled);
        if let Some(idx) = state.selected {
            ann = ann.with_selected(true).with_value(idx.to_string());
        }
        reg.register(area, ann);
    });

    // Build header row with sort indicators
    let header_cells: Vec<Cell> = state
        .columns
        .iter()
        .enumerate()
        .map(|(i, col)| {
            let mut text = col.header().to_string();
            if let Some(pos) = state.sort_columns.iter().position(|&(c, _)| c == i) {
                let (_, dir) = state.sort_columns[pos];
                let arrow = match dir {
                    SortDirection::Ascending => "\u{2191}",
                    SortDirection::Descending => "\u{2193}",
                };
                if state.sort_columns.len() == 1 {
                    // Single sort: just show arrow (backward compatible)
                    text.push(' ');
                    text.push_str(arrow);
                } else {
                    // Multi-sort: show arrow with priority number
                    text.push(' ');
                    text.push_str(arrow);
                    text.push_str(&(pos + 1).to_string());
                }
            }
            Cell::from(text)
        })
        .collect();

    let header_style = if disabled {
        theme.disabled_style()
    } else {
        Style::default().add_modifier(Modifier::BOLD)
    };

    let header = Row::new(header_cells).style(header_style).bottom_margin(1);

    // Build data rows using display_order
    let rows: Vec<Row> = state
        .display_order
        .iter()
        .map(|&idx| {
            let cells: Vec<Cell> = state.rows[idx]
                .cells()
                .into_iter()
                .map(Cell::from)
                .collect();
            Row::new(cells)
        })
        .collect();

    let widths: Vec<Constraint> = state.columns.iter().map(|c| c.width()).collect();

    let border_style = if focused && !disabled {
        theme.focused_border_style()
    } else {
        theme.border_style()
    };

    let row_highlight_style = if disabled {
        theme.disabled_style()
    } else {
        theme.selected_highlight_style(focused)
    };

    let table = ratatui::widgets::Table::new(rows, widths)
        .header(header)
        .block(
            Block::default()
                .borders(Borders::ALL)
                .border_style(border_style),
        )
        .row_highlight_style(row_highlight_style)
        .highlight_symbol("> ");

    // Use TableState for stateful rendering
    let mut table_state = ratatui::widgets::TableState::default();
    table_state.select(state.selected);
    frame.render_stateful_widget(table, area, &mut table_state);

    // Render scrollbar by mirroring the offset from ratatui's TableState
    let inner = area.inner(Margin::new(1, 1));
    // Viewport for data rows: inner height minus header row (1) and bottom margin (1)
    let data_viewport = (inner.height as usize).saturating_sub(2);
    if data_viewport > 0 && state.display_order.len() > data_viewport {
        let mut bar_scroll = ScrollState::new(state.display_order.len());
        bar_scroll.set_viewport_height(data_viewport);
        bar_scroll.set_offset(table_state.offset());
        crate::scroll::render_scrollbar_inside_border(&bar_scroll, frame, area, theme);
    }
}