2024-01-24 19:50:18 +00:00
|
|
|
//! # [Ratatui] Constraints example
|
|
|
|
//!
|
|
|
|
//! The latest version of this example is available in the [examples] folder in the repository.
|
|
|
|
//!
|
|
|
|
//! Please note that the examples are designed to be run against the `main` branch of the Github
|
|
|
|
//! repository. This means that you may not be able to compile with the latest release version on
|
|
|
|
//! crates.io, or the one that you have installed locally.
|
|
|
|
//!
|
|
|
|
//! See the [examples readme] for more information on finding examples that match the version of the
|
|
|
|
//! library you are using.
|
|
|
|
//!
|
|
|
|
//! [Ratatui]: https://github.com/ratatui-org/ratatui
|
|
|
|
//! [examples]: https://github.com/ratatui-org/ratatui/blob/main/examples
|
|
|
|
//! [examples readme]: https://github.com/ratatui-org/ratatui/blob/main/examples/README.md
|
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
use std::io::{self, stdout};
|
2024-01-13 02:11:15 +00:00
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
use color_eyre::{config::HookBuilder, Result};
|
2024-05-28 20:23:39 +00:00
|
|
|
use ratatui::{
|
2024-05-29 11:42:29 +00:00
|
|
|
backend::{Backend, CrosstermBackend},
|
|
|
|
buffer::Buffer,
|
2024-05-28 20:23:39 +00:00
|
|
|
crossterm::{
|
|
|
|
event::{self, Event, KeyCode, KeyEventKind},
|
|
|
|
terminal::{disable_raw_mode, enable_raw_mode, EnterAlternateScreen, LeaveAlternateScreen},
|
|
|
|
ExecutableCommand,
|
|
|
|
},
|
2024-05-29 11:42:29 +00:00
|
|
|
layout::{
|
|
|
|
Constraint::{self, Fill, Length, Max, Min, Percentage, Ratio},
|
|
|
|
Layout, Rect,
|
|
|
|
},
|
|
|
|
style::{palette::tailwind, Color, Modifier, Style, Stylize},
|
|
|
|
symbols,
|
|
|
|
text::Line,
|
|
|
|
widgets::{
|
|
|
|
Block, Padding, Paragraph, Scrollbar, ScrollbarOrientation, ScrollbarState, StatefulWidget,
|
|
|
|
Tabs, Widget,
|
|
|
|
},
|
2024-08-02 11:18:00 +00:00
|
|
|
Terminal,
|
2024-01-13 02:11:15 +00:00
|
|
|
};
|
2024-01-16 04:56:40 +00:00
|
|
|
use strum::{Display, EnumIter, FromRepr, IntoEnumIterator};
|
|
|
|
|
|
|
|
const SPACER_HEIGHT: u16 = 0;
|
|
|
|
const ILLUSTRATION_HEIGHT: u16 = 4;
|
|
|
|
const EXAMPLE_HEIGHT: u16 = ILLUSTRATION_HEIGHT + SPACER_HEIGHT;
|
|
|
|
|
|
|
|
// priority 2
|
|
|
|
const MIN_COLOR: Color = tailwind::BLUE.c900;
|
|
|
|
const MAX_COLOR: Color = tailwind::BLUE.c800;
|
|
|
|
// priority 3
|
|
|
|
const LENGTH_COLOR: Color = tailwind::SLATE.c700;
|
|
|
|
const PERCENTAGE_COLOR: Color = tailwind::SLATE.c800;
|
|
|
|
const RATIO_COLOR: Color = tailwind::SLATE.c900;
|
|
|
|
// priority 4
|
2024-01-28 10:41:01 +00:00
|
|
|
const FILL_COLOR: Color = tailwind::SLATE.c950;
|
2024-01-16 04:56:40 +00:00
|
|
|
|
|
|
|
#[derive(Default, Clone, Copy)]
|
|
|
|
struct App {
|
|
|
|
selected_tab: SelectedTab,
|
|
|
|
scroll_offset: u16,
|
|
|
|
max_scroll_offset: u16,
|
|
|
|
state: AppState,
|
|
|
|
}
|
2024-01-13 02:11:15 +00:00
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
/// Tabs for the different examples
|
|
|
|
///
|
|
|
|
/// The order of the variants is the order in which they are displayed.
|
|
|
|
#[derive(Default, Debug, Copy, Clone, Display, FromRepr, EnumIter, PartialEq, Eq)]
|
|
|
|
enum SelectedTab {
|
|
|
|
#[default]
|
|
|
|
Min,
|
|
|
|
Max,
|
|
|
|
Length,
|
|
|
|
Percentage,
|
|
|
|
Ratio,
|
2024-01-28 10:41:01 +00:00
|
|
|
Fill,
|
2024-01-16 04:56:40 +00:00
|
|
|
}
|
2024-01-13 02:11:15 +00:00
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
#[derive(Debug, Default, Clone, Copy, PartialEq, Eq)]
|
|
|
|
enum AppState {
|
|
|
|
#[default]
|
|
|
|
Running,
|
|
|
|
Quit,
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() -> Result<()> {
|
|
|
|
init_error_hooks()?;
|
|
|
|
let terminal = init_terminal()?;
|
|
|
|
|
|
|
|
App::default().run(terminal)?;
|
|
|
|
|
|
|
|
restore_terminal()?;
|
2024-01-13 02:11:15 +00:00
|
|
|
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
impl App {
|
|
|
|
fn run(&mut self, mut terminal: Terminal<impl Backend>) -> Result<()> {
|
|
|
|
self.update_max_scroll_offset();
|
|
|
|
while self.is_running() {
|
|
|
|
self.draw(&mut terminal)?;
|
|
|
|
self.handle_events()?;
|
|
|
|
}
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
fn update_max_scroll_offset(&mut self) {
|
|
|
|
self.max_scroll_offset = (self.selected_tab.get_example_count() - 1) * EXAMPLE_HEIGHT;
|
|
|
|
}
|
2024-01-13 02:11:15 +00:00
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
fn is_running(self) -> bool {
|
2024-01-16 04:56:40 +00:00
|
|
|
self.state == AppState::Running
|
|
|
|
}
|
|
|
|
|
|
|
|
fn draw(self, terminal: &mut Terminal<impl Backend>) -> io::Result<()> {
|
2024-08-06 03:15:14 +00:00
|
|
|
terminal.draw(|frame| frame.render_widget(self, frame.area()))?;
|
2024-01-16 04:56:40 +00:00
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
fn handle_events(&mut self) -> Result<()> {
|
2024-01-13 02:11:15 +00:00
|
|
|
if let Event::Key(key) = event::read()? {
|
2024-04-27 04:20:30 +00:00
|
|
|
if key.kind != KeyEventKind::Press {
|
|
|
|
return Ok(());
|
|
|
|
}
|
2024-01-13 02:11:15 +00:00
|
|
|
match key.code {
|
2024-05-29 11:42:29 +00:00
|
|
|
KeyCode::Char('q') | KeyCode::Esc => self.quit(),
|
|
|
|
KeyCode::Char('l') | KeyCode::Right => self.next(),
|
|
|
|
KeyCode::Char('h') | KeyCode::Left => self.previous(),
|
|
|
|
KeyCode::Char('j') | KeyCode::Down => self.down(),
|
|
|
|
KeyCode::Char('k') | KeyCode::Up => self.up(),
|
|
|
|
KeyCode::Char('g') | KeyCode::Home => self.top(),
|
|
|
|
KeyCode::Char('G') | KeyCode::End => self.bottom(),
|
2024-01-13 02:11:15 +00:00
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
}
|
2024-01-16 04:56:40 +00:00
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
fn quit(&mut self) {
|
|
|
|
self.state = AppState::Quit;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn next(&mut self) {
|
|
|
|
self.selected_tab = self.selected_tab.next();
|
|
|
|
self.update_max_scroll_offset();
|
|
|
|
self.scroll_offset = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn previous(&mut self) {
|
|
|
|
self.selected_tab = self.selected_tab.previous();
|
|
|
|
self.update_max_scroll_offset();
|
|
|
|
self.scroll_offset = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn up(&mut self) {
|
2024-03-02 09:06:53 +00:00
|
|
|
self.scroll_offset = self.scroll_offset.saturating_sub(1);
|
2024-01-16 04:56:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn down(&mut self) {
|
|
|
|
self.scroll_offset = self
|
|
|
|
.scroll_offset
|
|
|
|
.saturating_add(1)
|
2024-03-02 09:06:53 +00:00
|
|
|
.min(self.max_scroll_offset);
|
2024-01-16 04:56:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn top(&mut self) {
|
|
|
|
self.scroll_offset = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bottom(&mut self) {
|
|
|
|
self.scroll_offset = self.max_scroll_offset;
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
impl Widget for App {
|
|
|
|
fn render(self, area: Rect, buf: &mut Buffer) {
|
2024-03-02 09:06:53 +00:00
|
|
|
let [tabs, axis, demo] = Layout::vertical([Length(3), Length(3), Fill(0)]).areas(area);
|
2024-01-16 04:56:40 +00:00
|
|
|
|
|
|
|
self.render_tabs(tabs, buf);
|
2024-03-02 09:06:53 +00:00
|
|
|
Self::render_axis(axis, buf);
|
2024-01-16 04:56:40 +00:00
|
|
|
self.render_demo(demo, buf);
|
|
|
|
}
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
impl App {
|
2024-03-02 09:06:53 +00:00
|
|
|
fn render_tabs(self, area: Rect, buf: &mut Buffer) {
|
2024-01-16 04:56:40 +00:00
|
|
|
let titles = SelectedTab::iter().map(SelectedTab::to_tab_title);
|
|
|
|
let block = Block::new()
|
|
|
|
.title("Constraints ".bold())
|
|
|
|
.title(" Use h l or ◄ ► to change tab and j k or ▲ ▼ to scroll");
|
|
|
|
Tabs::new(titles)
|
|
|
|
.block(block)
|
|
|
|
.highlight_style(Modifier::REVERSED)
|
|
|
|
.select(self.selected_tab as usize)
|
|
|
|
.padding("", "")
|
|
|
|
.divider(" ")
|
|
|
|
.render(area, buf);
|
|
|
|
}
|
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
fn render_axis(area: Rect, buf: &mut Buffer) {
|
2024-01-16 04:56:40 +00:00
|
|
|
let width = area.width as usize;
|
|
|
|
// a bar like `<----- 80 px ----->`
|
2024-03-02 09:06:53 +00:00
|
|
|
let width_label = format!("{width} px");
|
2024-01-16 04:56:40 +00:00
|
|
|
let width_bar = format!(
|
|
|
|
"<{width_label:-^width$}>",
|
|
|
|
width = width - width_label.len() / 2
|
|
|
|
);
|
|
|
|
Paragraph::new(width_bar.dark_gray())
|
2024-01-24 11:31:52 +00:00
|
|
|
.centered()
|
2024-05-02 10:09:48 +00:00
|
|
|
.block(Block::new().padding(Padding {
|
2024-01-16 04:56:40 +00:00
|
|
|
left: 0,
|
|
|
|
right: 0,
|
|
|
|
top: 1,
|
|
|
|
bottom: 0,
|
|
|
|
}))
|
|
|
|
.render(area, buf);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Render the demo content
|
|
|
|
///
|
|
|
|
/// This function renders the demo content into a separate buffer and then splices the buffer
|
|
|
|
/// into the main buffer. This is done to make it possible to handle scrolling easily.
|
2024-03-02 09:06:53 +00:00
|
|
|
#[allow(clippy::cast_possible_truncation)]
|
|
|
|
fn render_demo(self, area: Rect, buf: &mut Buffer) {
|
2024-01-16 04:56:40 +00:00
|
|
|
// render demo content into a separate buffer so all examples fit we add an extra
|
|
|
|
// area.height to make sure the last example is fully visible even when the scroll offset is
|
|
|
|
// at the max
|
|
|
|
let height = self.selected_tab.get_example_count() * EXAMPLE_HEIGHT;
|
|
|
|
let demo_area = Rect::new(0, 0, area.width, height + area.height);
|
|
|
|
let mut demo_buf = Buffer::empty(demo_area);
|
|
|
|
|
|
|
|
let scrollbar_needed = self.scroll_offset != 0 || height > area.height;
|
|
|
|
let content_area = if scrollbar_needed {
|
|
|
|
Rect {
|
|
|
|
width: demo_area.width - 1,
|
|
|
|
..demo_area
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
demo_area
|
|
|
|
};
|
|
|
|
self.selected_tab.render(content_area, &mut demo_buf);
|
|
|
|
|
|
|
|
let visible_content = demo_buf
|
|
|
|
.content
|
|
|
|
.into_iter()
|
|
|
|
.skip((demo_area.width * self.scroll_offset) as usize)
|
|
|
|
.take(area.area() as usize);
|
|
|
|
for (i, cell) in visible_content.enumerate() {
|
|
|
|
let x = i as u16 % area.width;
|
|
|
|
let y = i as u16 / area.width;
|
feat(buffer): add Buffer::cell, cell_mut and index implementations (#1084)
Code which previously called `buf.get(x, y)` or `buf.get_mut(x, y)`
should now use index operators, or be transitioned to `buff.cell()` or
`buf.cell_mut()` for safe access that avoids panics by returning
`Option<&Cell>` and `Option<&mut Cell>`.
The new methods accept `Into<Position>` instead of `x` and `y`
coordinates, which makes them more ergonomic to use.
```rust
let mut buffer = Buffer::empty(Rect::new(0, 0, 10, 10));
let cell = buf[(0, 0)];
let cell = buf[Position::new(0, 0)];
let symbol = buf.cell((0, 0)).map(|cell| cell.symbol());
let symbol = buf.cell(Position::new(0, 0)).map(|cell| cell.symbol());
buf[(0, 0)].set_symbol("🐀");
buf[Position::new(0, 0)].set_symbol("🐀");
buf.cell_mut((0, 0)).map(|cell| cell.set_symbol("🐀"));
buf.cell_mut(Position::new(0, 0)).map(|cell| cell.set_symbol("🐀"));
```
The existing `get()` and `get_mut()` methods are marked as deprecated.
These are fairly widely used and we will leave these methods around on
the buffer for a longer time than our normal deprecation approach (2
major release)
Addresses part of: https://github.com/ratatui-org/ratatui/issues/1011
---------
Co-authored-by: EdJoPaTo <rfc-conform-git-commit-email@funny-long-domain-label-everyone-hates-as-it-is-too-long.edjopato.de>
2024-08-06 07:40:47 +00:00
|
|
|
buf[(area.x + x, area.y + y)] = cell;
|
2024-01-16 04:56:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if scrollbar_needed {
|
|
|
|
let mut state = ScrollbarState::new(self.max_scroll_offset as usize)
|
|
|
|
.position(self.scroll_offset as usize);
|
|
|
|
Scrollbar::new(ScrollbarOrientation::VerticalRight).render(area, buf, &mut state);
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
}
|
2024-01-16 04:56:40 +00:00
|
|
|
}
|
2024-01-13 02:11:15 +00:00
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
impl SelectedTab {
|
|
|
|
/// Get the previous tab, if there is no previous tab return the current tab.
|
2024-03-02 09:06:53 +00:00
|
|
|
fn previous(self) -> Self {
|
|
|
|
let current_index: usize = self as usize;
|
2024-01-16 04:56:40 +00:00
|
|
|
let previous_index = current_index.saturating_sub(1);
|
2024-03-02 09:06:53 +00:00
|
|
|
Self::from_repr(previous_index).unwrap_or(self)
|
2024-01-16 04:56:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Get the next tab, if there is no next tab return the current tab.
|
2024-03-02 09:06:53 +00:00
|
|
|
fn next(self) -> Self {
|
|
|
|
let current_index = self as usize;
|
2024-01-16 04:56:40 +00:00
|
|
|
let next_index = current_index.saturating_add(1);
|
2024-03-02 09:06:53 +00:00
|
|
|
Self::from_repr(next_index).unwrap_or(self)
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
const fn get_example_count(self) -> u16 {
|
|
|
|
#[allow(clippy::match_same_arms)]
|
2024-01-13 02:11:15 +00:00
|
|
|
match self {
|
2024-03-02 09:06:53 +00:00
|
|
|
Self::Length => 4,
|
|
|
|
Self::Percentage => 5,
|
|
|
|
Self::Ratio => 4,
|
|
|
|
Self::Fill => 2,
|
|
|
|
Self::Min => 5,
|
|
|
|
Self::Max => 5,
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
}
|
2024-01-16 04:56:40 +00:00
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
fn to_tab_title(value: Self) -> Line<'static> {
|
2024-01-16 04:56:40 +00:00
|
|
|
let text = format!(" {value} ");
|
|
|
|
let color = match value {
|
2024-03-02 09:06:53 +00:00
|
|
|
Self::Length => LENGTH_COLOR,
|
|
|
|
Self::Percentage => PERCENTAGE_COLOR,
|
|
|
|
Self::Ratio => RATIO_COLOR,
|
|
|
|
Self::Fill => FILL_COLOR,
|
|
|
|
Self::Min => MIN_COLOR,
|
|
|
|
Self::Max => MAX_COLOR,
|
2024-01-16 04:56:40 +00:00
|
|
|
};
|
|
|
|
text.fg(tailwind::SLATE.c200).bg(color).into()
|
|
|
|
}
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
impl Widget for SelectedTab {
|
2024-01-13 02:11:15 +00:00
|
|
|
fn render(self, area: Rect, buf: &mut Buffer) {
|
|
|
|
match self {
|
2024-03-02 09:06:53 +00:00
|
|
|
Self::Length => Self::render_length_example(area, buf),
|
|
|
|
Self::Percentage => Self::render_percentage_example(area, buf),
|
|
|
|
Self::Ratio => Self::render_ratio_example(area, buf),
|
|
|
|
Self::Fill => Self::render_fill_example(area, buf),
|
|
|
|
Self::Min => Self::render_min_example(area, buf),
|
|
|
|
Self::Max => Self::render_max_example(area, buf),
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
impl SelectedTab {
|
2024-03-02 09:06:53 +00:00
|
|
|
fn render_length_example(area: Rect, buf: &mut Buffer) {
|
2024-01-29 14:37:50 +00:00
|
|
|
let [example1, example2, example3, _] =
|
2024-02-02 04:26:35 +00:00
|
|
|
Layout::vertical([Length(EXAMPLE_HEIGHT); 4]).areas(area);
|
2024-01-16 04:56:40 +00:00
|
|
|
|
2024-01-29 14:37:50 +00:00
|
|
|
Example::new(&[Length(20), Length(20)]).render(example1, buf);
|
|
|
|
Example::new(&[Length(20), Min(20)]).render(example2, buf);
|
|
|
|
Example::new(&[Length(20), Max(20)]).render(example3, buf);
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
fn render_percentage_example(area: Rect, buf: &mut Buffer) {
|
2024-01-13 02:11:15 +00:00
|
|
|
let [example1, example2, example3, example4, example5, _] =
|
2024-02-02 04:26:35 +00:00
|
|
|
Layout::vertical([Length(EXAMPLE_HEIGHT); 6]).areas(area);
|
2024-01-16 04:56:40 +00:00
|
|
|
|
2024-01-28 10:41:01 +00:00
|
|
|
Example::new(&[Percentage(75), Fill(0)]).render(example1, buf);
|
|
|
|
Example::new(&[Percentage(25), Fill(0)]).render(example2, buf);
|
2024-01-16 04:56:40 +00:00
|
|
|
Example::new(&[Percentage(50), Min(20)]).render(example3, buf);
|
|
|
|
Example::new(&[Percentage(0), Max(0)]).render(example4, buf);
|
2024-01-28 10:41:01 +00:00
|
|
|
Example::new(&[Percentage(0), Fill(0)]).render(example5, buf);
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
fn render_ratio_example(area: Rect, buf: &mut Buffer) {
|
2024-01-13 02:11:15 +00:00
|
|
|
let [example1, example2, example3, example4, _] =
|
2024-02-02 04:26:35 +00:00
|
|
|
Layout::vertical([Length(EXAMPLE_HEIGHT); 5]).areas(area);
|
2024-01-16 04:56:40 +00:00
|
|
|
|
|
|
|
Example::new(&[Ratio(1, 2); 2]).render(example1, buf);
|
|
|
|
Example::new(&[Ratio(1, 4); 4]).render(example2, buf);
|
|
|
|
Example::new(&[Ratio(1, 2), Ratio(1, 3), Ratio(1, 4)]).render(example3, buf);
|
|
|
|
Example::new(&[Ratio(1, 2), Percentage(25), Length(10)]).render(example4, buf);
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
fn render_fill_example(area: Rect, buf: &mut Buffer) {
|
2024-02-02 04:26:35 +00:00
|
|
|
let [example1, example2, _] = Layout::vertical([Length(EXAMPLE_HEIGHT); 3]).areas(area);
|
2024-01-16 04:56:40 +00:00
|
|
|
|
2024-01-28 10:41:01 +00:00
|
|
|
Example::new(&[Fill(1), Fill(2), Fill(3)]).render(example1, buf);
|
|
|
|
Example::new(&[Fill(1), Percentage(50), Fill(1)]).render(example2, buf);
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
fn render_min_example(area: Rect, buf: &mut Buffer) {
|
2024-01-13 02:11:15 +00:00
|
|
|
let [example1, example2, example3, example4, example5, _] =
|
2024-02-02 04:26:35 +00:00
|
|
|
Layout::vertical([Length(EXAMPLE_HEIGHT); 6]).areas(area);
|
2024-01-16 04:56:40 +00:00
|
|
|
|
|
|
|
Example::new(&[Percentage(100), Min(0)]).render(example1, buf);
|
|
|
|
Example::new(&[Percentage(100), Min(20)]).render(example2, buf);
|
|
|
|
Example::new(&[Percentage(100), Min(40)]).render(example3, buf);
|
|
|
|
Example::new(&[Percentage(100), Min(60)]).render(example4, buf);
|
|
|
|
Example::new(&[Percentage(100), Min(80)]).render(example5, buf);
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
|
2024-03-02 09:06:53 +00:00
|
|
|
fn render_max_example(area: Rect, buf: &mut Buffer) {
|
2024-01-13 02:11:15 +00:00
|
|
|
let [example1, example2, example3, example4, example5, _] =
|
2024-02-02 04:26:35 +00:00
|
|
|
Layout::vertical([Length(EXAMPLE_HEIGHT); 6]).areas(area);
|
2024-01-16 04:56:40 +00:00
|
|
|
|
|
|
|
Example::new(&[Percentage(0), Max(0)]).render(example1, buf);
|
|
|
|
Example::new(&[Percentage(0), Max(20)]).render(example2, buf);
|
|
|
|
Example::new(&[Percentage(0), Max(40)]).render(example3, buf);
|
|
|
|
Example::new(&[Percentage(0), Max(60)]).render(example4, buf);
|
|
|
|
Example::new(&[Percentage(0), Max(80)]).render(example5, buf);
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
struct Example {
|
|
|
|
constraints: Vec<Constraint>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Example {
|
2024-01-16 04:56:40 +00:00
|
|
|
fn new(constraints: &[Constraint]) -> Self {
|
2024-01-13 02:11:15 +00:00
|
|
|
Self {
|
|
|
|
constraints: constraints.into(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Widget for Example {
|
|
|
|
fn render(self, area: Rect, buf: &mut Buffer) {
|
2024-02-02 04:26:35 +00:00
|
|
|
let [area, _] =
|
|
|
|
Layout::vertical([Length(ILLUSTRATION_HEIGHT), Length(SPACER_HEIGHT)]).areas(area);
|
2024-01-13 02:11:15 +00:00
|
|
|
let blocks = Layout::horizontal(&self.constraints).split(area);
|
|
|
|
|
2024-01-16 04:56:40 +00:00
|
|
|
for (block, constraint) in blocks.iter().zip(&self.constraints) {
|
2024-03-02 09:06:53 +00:00
|
|
|
Self::illustration(*constraint, block.width).render(*block, buf);
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Example {
|
2024-03-02 09:06:53 +00:00
|
|
|
fn illustration(constraint: Constraint, width: u16) -> impl Widget {
|
2024-01-16 04:56:40 +00:00
|
|
|
let color = match constraint {
|
|
|
|
Constraint::Length(_) => LENGTH_COLOR,
|
|
|
|
Constraint::Percentage(_) => PERCENTAGE_COLOR,
|
|
|
|
Constraint::Ratio(_, _) => RATIO_COLOR,
|
2024-01-28 10:41:01 +00:00
|
|
|
Constraint::Fill(_) => FILL_COLOR,
|
2024-01-16 04:56:40 +00:00
|
|
|
Constraint::Min(_) => MIN_COLOR,
|
|
|
|
Constraint::Max(_) => MAX_COLOR,
|
|
|
|
};
|
|
|
|
let fg = Color::White;
|
|
|
|
let title = format!("{constraint}");
|
|
|
|
let content = format!("{width} px");
|
|
|
|
let text = format!("{title}\n{content}");
|
|
|
|
let block = Block::bordered()
|
|
|
|
.border_set(symbols::border::QUADRANT_OUTSIDE)
|
|
|
|
.border_style(Style::reset().fg(color).reversed())
|
|
|
|
.style(Style::default().fg(fg).bg(color));
|
2024-01-24 11:31:52 +00:00
|
|
|
Paragraph::new(text).centered().block(block)
|
2024-01-13 02:11:15 +00:00
|
|
|
}
|
|
|
|
}
|
2024-01-16 04:56:40 +00:00
|
|
|
|
|
|
|
fn init_error_hooks() -> Result<()> {
|
|
|
|
let (panic, error) = HookBuilder::default().into_hooks();
|
|
|
|
let panic = panic.into_panic_hook();
|
|
|
|
let error = error.into_eyre_hook();
|
|
|
|
color_eyre::eyre::set_hook(Box::new(move |e| {
|
|
|
|
let _ = restore_terminal();
|
|
|
|
error(e)
|
|
|
|
}))?;
|
|
|
|
std::panic::set_hook(Box::new(move |info| {
|
|
|
|
let _ = restore_terminal();
|
2024-03-02 09:06:53 +00:00
|
|
|
panic(info);
|
2024-01-16 04:56:40 +00:00
|
|
|
}));
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
|
|
|
fn init_terminal() -> Result<Terminal<impl Backend>> {
|
|
|
|
enable_raw_mode()?;
|
|
|
|
stdout().execute(EnterAlternateScreen)?;
|
|
|
|
let backend = CrosstermBackend::new(stdout());
|
|
|
|
let terminal = Terminal::new(backend)?;
|
|
|
|
Ok(terminal)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn restore_terminal() -> Result<()> {
|
|
|
|
disable_raw_mode()?;
|
|
|
|
stdout().execute(LeaveAlternateScreen)?;
|
|
|
|
Ok(())
|
|
|
|
}
|