terrazzo-terminal 0.2.7

A simple web-based terminal emulator built on Terrazzo.
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

use std::rc::Rc;

use terrazzo::html;
use terrazzo::prelude::*;

use super::mousemove::MousemoveManager;

terrazzo_css::import_style!(pub(super) style, "resize_bar.scss");

#[derive(Clone)]
pub struct ResizeBarProperties {
    pub dblclick: Rc<dyn Fn()>,
    pub class: Option<&'static str>,
}

impl Default for ResizeBarProperties {
    fn default() -> Self {
        Self {
            dblclick: Rc::new(|| {}),
            class: None,
        }
    }
}

#[html]
pub fn resize_bar_horz(
    resize_manager: MousemoveManager,
    properties: ResizeBarProperties,
) -> XElement {
    div(
        class = style::RESIZE_BAR_HORZ,
        class = properties.class,
        #[cfg(not(feature = "client-prod"))]
        class = "resize-bar-horz",
        mousedown = resize_manager.mousedown(),
        dblclick = move |_| {
            resize_manager.delta.set(None);
            (properties.dblclick)();
        },
        div(div()),
    )
}

#[html]
pub fn resize_bar_vert(
    resize_manager: MousemoveManager,
    properties: ResizeBarProperties,
) -> XElement {
    div(
        class = style::RESIZE_BAR_VERT,
        class = properties.class,
        #[cfg(not(feature = "client-prod"))]
        class = "resize-bar-vert",
        mousedown = resize_manager.mousedown(),
        dblclick = move |_| {
            resize_manager.delta.set(None);
            (properties.dblclick)();
        },
        div(div()),
    )
}