2024-05-27 19:24:46 +00:00
|
|
|
use std::rc::Rc;
|
|
|
|
use zoon::*;
|
|
|
|
|
|
|
|
mod tauri_bridge;
|
|
|
|
|
|
|
|
mod controls_panel;
|
|
|
|
use controls_panel::ControlsPanel;
|
|
|
|
|
|
|
|
mod waveform_panel;
|
|
|
|
use waveform_panel::WaveformPanel;
|
|
|
|
|
|
|
|
type HierarchyAndTimeTable = (Rc<wellen::Hierarchy>, Rc<wellen::TimeTable>);
|
|
|
|
|
2024-05-30 23:35:05 +00:00
|
|
|
#[derive(Clone, Copy, Default)]
|
|
|
|
enum Layout {
|
|
|
|
Tree,
|
|
|
|
#[default]
|
|
|
|
Columns,
|
|
|
|
}
|
|
|
|
|
2024-05-27 19:24:46 +00:00
|
|
|
fn main() {
|
|
|
|
start_app("app", root);
|
|
|
|
Task::start(async {
|
|
|
|
// https://github.com/tauri-apps/tauri/issues/5170
|
|
|
|
Timer::sleep(100).await;
|
|
|
|
tauri_bridge::show_window().await;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
fn root() -> impl Element {
|
|
|
|
let hierarchy_and_time_table: Mutable<Option<HierarchyAndTimeTable>> = <_>::default();
|
|
|
|
let selected_var_refs: MutableVec<wellen::VarRef> = <_>::default();
|
2024-05-30 23:35:05 +00:00
|
|
|
let layout: Mutable<Layout> = <_>::default();
|
|
|
|
Column::new()
|
2024-05-27 19:24:46 +00:00
|
|
|
.s(Height::fill())
|
2024-05-30 23:35:05 +00:00
|
|
|
.s(Scrollbars::y_and_clip_x())
|
2024-05-27 19:24:46 +00:00
|
|
|
.s(Font::new().color(color!("Lavender")))
|
2024-05-30 23:35:05 +00:00
|
|
|
.item(
|
|
|
|
Row::new()
|
|
|
|
.s(Height::fill())
|
|
|
|
.s(Gap::new().x(15))
|
|
|
|
.item(ControlsPanel::new(
|
|
|
|
hierarchy_and_time_table.clone(),
|
|
|
|
selected_var_refs.clone(),
|
|
|
|
layout.clone(),
|
|
|
|
))
|
|
|
|
.item_signal(layout.signal().map(|layout| matches!(layout, Layout::Tree)).map_true(clone!((hierarchy_and_time_table, selected_var_refs) move || WaveformPanel::new(
|
|
|
|
hierarchy_and_time_table.clone(),
|
|
|
|
selected_var_refs.clone(),
|
|
|
|
))))
|
|
|
|
)
|
|
|
|
.item_signal(layout.signal().map(|layout| matches!(layout, Layout::Columns)).map_true(move || WaveformPanel::new(
|
2024-05-27 19:24:46 +00:00
|
|
|
hierarchy_and_time_table.clone(),
|
|
|
|
selected_var_refs.clone(),
|
2024-05-30 23:35:05 +00:00
|
|
|
)))
|
2024-05-27 19:24:46 +00:00
|
|
|
}
|