envision 0.16.0

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
119
120
121
122
123
124
125
126
127
128

//! Rendering logic for the [`FileBrowser`](super::FileBrowser) component.

use ratatui::prelude::*;
use ratatui::widgets::{Block, Borders, List, ListItem, Paragraph};

use super::types::FileBrowserFocus;
use super::{FileBrowserState, format_size};
use crate::theme::Theme;

/// Renders the file browser component into the given frame area.
pub(super) fn render(
    state: &FileBrowserState,
    frame: &mut Frame,
    area: Rect,
    theme: &Theme,
    focused: bool,
    disabled: bool,
) {
    crate::annotation::with_registry(|reg| {
        reg.register(
            area,
            crate::annotation::Annotation::new(crate::annotation::WidgetType::FileBrowser)
                .with_id("file_browser")
                .with_focus(focused)
                .with_disabled(disabled),
        );
    });

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

    let block = Block::default()
        .borders(Borders::ALL)
        .border_style(border_style);
    let inner = block.inner(area);
    frame.render_widget(block, area);

    if inner.height == 0 || inner.width == 0 {
        return;
    }

    // Layout: path bar (1 line) | filter (1 line if active) | listing
    let internal_focus = state.internal_focus();
    let has_filter = !state.filter_text().is_empty() || *internal_focus == FileBrowserFocus::Filter;

    let path_height = 1u16;
    let filter_height = if has_filter { 1u16 } else { 0u16 };
    let list_height = inner.height.saturating_sub(path_height + filter_height);

    let path_area = Rect::new(inner.x, inner.y, inner.width, path_height);
    let filter_area = if has_filter {
        Rect::new(inner.x, inner.y + path_height, inner.width, filter_height)
    } else {
        Rect::ZERO
    };
    let list_area = Rect::new(
        inner.x,
        inner.y + path_height + filter_height,
        inner.width,
        list_height,
    );

    // Render path bar
    let path_text = state.path_segments().join(" / ");
    let path_style = if *internal_focus == FileBrowserFocus::PathBar && focused {
        theme.focused_style()
    } else {
        theme.info_style()
    };
    frame.render_widget(Paragraph::new(path_text).style(path_style), path_area);

    // Render filter
    if has_filter {
        let filter_display = format!("Filter: {}", state.filter_text());
        let filter_style = if *internal_focus == FileBrowserFocus::Filter && focused {
            theme.focused_style()
        } else {
            theme.normal_style()
        };
        frame.render_widget(
            Paragraph::new(filter_display).style(filter_style),
            filter_area,
        );
    }

    // Render file listing
    let entries = state.entries();
    let selected_paths = state.selected_paths();
    let items: Vec<ListItem> = state
        .filtered_indices()
        .iter()
        .map(|&i| {
            let entry = &entries[i];
            let icon = if entry.is_dir() { "📁" } else { "📄" };
            let size_str = entry.size().map(format_size).unwrap_or_default();
            let selected_marker = if selected_paths.contains(&entry.path().to_string()) {
                "✓ "
            } else {
                "  "
            };
            let text = if size_str.is_empty() {
                format!("{}{} {}", selected_marker, icon, entry.name())
            } else {
                format!("{}{} {}  {}", selected_marker, icon, entry.name(), size_str)
            };
            ListItem::new(text)
        })
        .collect();

    let list_style = if *internal_focus == FileBrowserFocus::FileList && focused {
        theme.focused_style()
    } else {
        theme.normal_style()
    };

    let highlight_style = theme.selected_style(focused);
    let list = List::new(items)
        .style(list_style)
        .highlight_style(highlight_style);

    let mut ls = state.list_state.clone();
    frame.render_stateful_widget(list, list_area, &mut ls);
}