superlighttui 0.18.2

Super Light TUI - A lightweight, ergonomic terminal UI library
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

use proptest::prelude::*;
use slt::TestBackend;

proptest! {
    #![proptest_config(ProptestConfig::with_cases(500))]

    #[test]
    fn layout_never_panics_with_arbitrary_dimensions(
        w in 1u32..=300,
        h in 1u32..=100,
        gap in 0u32..=20,
        padding in 0u32..=10,
        children in 0usize..=50,
    ) {
        let mut tb = TestBackend::new(w, h);
        tb.render(|ui| {
            let _ = ui.container().gap(gap).p(padding).col(|ui| {
                for i in 0..children {
                    ui.text(format!("item {i}"));
                }
            });
        });
    }

    #[test]
    fn row_layout_with_extreme_grow(
        w in 1u32..=200,
        h in 1u32..=50,
        grow_a in 0u16..=100,
        grow_b in 0u16..=100,
        grow_c in 0u16..=100,
    ) {
        let mut tb = TestBackend::new(w, h);
        tb.render(|ui| {
            let _ = ui.row(|ui| {
                let _ = ui.container().grow(grow_a).col(|ui| { ui.text("a"); });
                let _ = ui.container().grow(grow_b).col(|ui| { ui.text("b"); });
                let _ = ui.container().grow(grow_c).col(|ui| { ui.text("c"); });
            });
        });
    }

    #[test]
    fn deeply_nested_containers(
        w in 10u32..=120,
        h in 10u32..=40,
        depth in 1usize..=30,
    ) {
        let mut tb = TestBackend::new(w, h);
        tb.render(|ui| {
            fn nest(ui: &mut slt::Context, remaining: usize) {
                if remaining == 0 {
                    ui.text("leaf");
                    return;
                }
                let _ = ui.container().p(1).col(|ui| {
                    nest(ui, remaining - 1);
                });
            }
            nest(ui, depth);
        });
    }

    #[test]
    fn grid_layout_arbitrary(
        w in 1u32..=200,
        h in 1u32..=50,
        cols in 1u32..=20,
        items in 0usize..=40,
    ) {
        let mut tb = TestBackend::new(w, h);
        tb.render(|ui| {
            let _ = ui.grid(cols, |ui| {
                for i in 0..items {
                    ui.text(format!("{i}"));
                }
            });
        });
    }

    #[test]
    fn percentage_sizing_boundaries(
        w in 1u32..=200,
        h in 1u32..=100,
        w_pct in 1u8..=100,
        h_pct in 1u8..=100,
    ) {
        let mut tb = TestBackend::new(w, h);
        tb.render(|ui| {
            let _ = ui.container().w_pct(w_pct).h_pct(h_pct).col(|ui| {
                ui.text("content");
            });
        });
    }
}