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

use terrazzo::autoclone;
use terrazzo::prelude::*;
use terrazzo::template;

use self::diagnostics::Instrument as _;
use self::diagnostics::warn;
use crate::api::client::terminal_api;
use crate::api::client_address::ClientAddress;
use crate::frontend::remotes::Remotes;
use crate::terminal::terminal_tab::TerminalTab;
use crate::terminal::ui::TerminalsState;

#[template(wrap = true)]
pub fn active(#[signal] remotes: Remotes) -> XAttributeValue {
    if let Remotes::Some { .. } = remotes {
        Some(super::style::ACTIVE)
    } else {
        None
    }
}

#[autoclone]
pub fn create_terminal(state: TerminalsState, client_address: ClientAddress) {
    let task = async move {
        autoclone!(state, client_address);
        let terminal_def =
            match terminal_api::new_id::new_id(client_address.clone(), state.tile.id).await {
                Ok(id) => id,
                Err(error) => {
                    warn!("Failed to allocate new ID: {error}");
                    return;
                }
            };
        let new_tab = TerminalTab::new(terminal_def, &state.selected_tab);
        let _batch = Batch::use_batch("add-tab");
        state.selected_tab.force(new_tab.address.id.clone());
        state
            .terminal_tabs
            .update(|tabs| Some(tabs.clone().add_tab(new_tab)));
    };
    wasm_bindgen_futures::spawn_local(task.in_current_span());
}