rustlens 0.2.1

Blazing-fast Rust Code Inspector for the Terminal
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

//! Layout constants and helpers (frame chunks, tabs rect for hit testing).

use ratatui::layout::{Constraint, Direction, Layout, Rect};

/// Layout constants for the main frame.
pub const HEADER_HEIGHT: u16 = 6;
pub const STATUS_HEIGHT: u16 = 3;
pub const BODY_MARGIN: u16 = 1;

/// Returns the inner padded area after the outer rounded block.
pub fn content_area(area: Rect, border: bool) -> Rect {
    let inner = if border {
        Rect {
            x: area.x + 1,
            y: area.y + 1,
            width: area.width.saturating_sub(2),
            height: area.height.saturating_sub(2),
        }
    } else {
        area
    };
    Rect {
        x: inner.x + BODY_MARGIN,
        y: inner.y + BODY_MARGIN,
        width: inner.width.saturating_sub(2 * BODY_MARGIN),
        height: inner.height.saturating_sub(2 * BODY_MARGIN),
    }
}

/// Returns the tabs bar Rect for a given full frame area (for mouse hit testing).
pub fn tabs_rect_for_area(area: Rect) -> Option<Rect> {
    let content = content_area(area, true);
    let chunks = Layout::default()
        .direction(Direction::Vertical)
        .constraints([
            Constraint::Length(HEADER_HEIGHT),
            Constraint::Min(12),
            Constraint::Length(STATUS_HEIGHT),
        ])
        .split(content);
    let body = chunks[1];
    let left_div_right = Layout::default()
        .direction(Direction::Horizontal)
        .constraints([
            Constraint::Ratio(1, 3),
            Constraint::Length(1),
            Constraint::Ratio(2, 3),
        ])
        .split(body);
    let right_column = left_div_right[2];
    let right_split = Layout::default()
        .direction(Direction::Vertical)
        .constraints([Constraint::Length(3), Constraint::Min(6)])
        .split(right_column);
    Some(right_split[0])
}