mirror of
https://codeberg.org/unspeaker/tek.git
synced 2025-12-06 19:56:42 +01:00
57 lines
2.1 KiB
Rust
57 lines
2.1 KiB
Rust
use tek_tui::{*, tek_input::*, tek_output::*};
|
|
use tek_edn::*;
|
|
use std::sync::{Arc, RwLock};
|
|
use crossterm::event::{*, KeyCode::*};
|
|
use crate::ratatui::style::Color;
|
|
|
|
const EDN: &'static [&'static str] = &[
|
|
include_str!("edn01.edn"),
|
|
include_str!("edn02.edn"),
|
|
include_str!("edn03.edn"),
|
|
include_str!("edn04.edn"),
|
|
include_str!("edn05.edn"),
|
|
include_str!("edn06.edn"),
|
|
include_str!("edn07.edn"),
|
|
include_str!("edn08.edn"),
|
|
include_str!("edn09.edn"),
|
|
include_str!("edn10.edn"),
|
|
include_str!("edn11.edn"),
|
|
include_str!("edn12.edn"),
|
|
include_str!("edn13.edn"),
|
|
];
|
|
fn main () -> Usually<()> {
|
|
let state = Arc::new(RwLock::new(Example(10, Measure::new())));
|
|
Tui::new().unwrap().run(&state)?;
|
|
Ok(())
|
|
}
|
|
#[derive(Debug)] pub struct Example(usize, Measure<TuiOut>);
|
|
edn_view!(TuiOut: |self: Example|{
|
|
let title = Tui::bg(Color::Rgb(60,10,10),
|
|
Push::y(1, Align::n(format!("Example {}/{} in {:?}", self.0 + 1, EDN.len(), &self.1.wh()))));
|
|
let code = Tui::bg(Color::Rgb(10,60,10),
|
|
Push::y(2, Align::n(format!("{}", EDN[self.0]))));
|
|
let content = Tui::bg(Color::Rgb(10,10,60),
|
|
EdnView::from_source(self, EDN[self.0]));
|
|
self.1.of(Bsp::s(title, Bsp::n(""/*code*/, content)))
|
|
};{
|
|
bool {};
|
|
u16 {};
|
|
usize {};
|
|
Box<dyn Render<TuiOut> + 'a> {
|
|
":title" => Tui::bg(Color::Rgb(60,10,10), Push::y(1, Align::n(format!("Example {}/{}:", self.0 + 1, EDN.len())))).boxed(),
|
|
":code" => Tui::bg(Color::Rgb(10,60,10), Push::y(2, Align::n(format!("{}", EDN[self.0])))).boxed(),
|
|
":hello-world" => "Hello world!".boxed(),
|
|
":hello" => Tui::bg(Color::Rgb(10, 100, 10), "Hello").boxed(),
|
|
":world" => Tui::bg(Color::Rgb(100, 10, 10), "world").boxed()
|
|
}
|
|
});
|
|
impl Handle<TuiIn> for Example {
|
|
fn handle (&mut self, input: &TuiIn) -> Perhaps<bool> {
|
|
match input.event() {
|
|
kpat!(Right) => self.0 = (self.0 + 1) % EDN.len(),
|
|
kpat!(Left) => self.0 = if self.0 > 0 { self.0 - 1 } else { EDN.len() - 1 },
|
|
_ => return Ok(None)
|
|
}
|
|
Ok(Some(true))
|
|
}
|
|
}
|