lean-tui 1.1.0

Standalone TUI infoview for Lean 4 theorem prover
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

use ratatui::{
    buffer::Buffer,
    layout::{Alignment, Rect},
    style::{Color, Style},
    widgets::{Block, Paragraph, Widget},
};

/// Welcome screen widget.
pub struct WelcomeScreen;

impl Widget for WelcomeScreen {
    fn render(self, area: Rect, buf: &mut Buffer) {
        let block = Block::bordered()
            .title(" lean-tui ")
            .title_alignment(Alignment::Center)
            .border_style(Style::new().fg(Color::Reset));

        let inner = block.inner(area);
        block.render(area, buf);

        let text = "Standalone TUI infoview for Lean 4 theorem prover\n\nMove cursor to a tactic \
                    in your editor.";

        Paragraph::new(text)
            .alignment(Alignment::Center)
            .style(Style::new().fg(Color::DarkGray))
            .render(inner, buf);
    }
}