plottery_editor 0.7.0

Graphical Editor of Plottery, a creative coding framework for generative vector graphics and pen plotting.
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

use crate::util::format_svg;
use dioxus::prelude::*;
use dioxus_router::hooks::use_navigator;

#[derive(PartialEq, Props, Clone)]
pub struct NavProps {
    page_name: String,
    body: Element,
}

#[component]
pub fn Navigation(props: NavProps) -> Element {
    let nav = use_navigator();

    rsx! {
        style { { include_str!("./navigation.css") } }
        div { class: "Navigation",
            if nav.can_go_back() {
                button { class: "img_button",
                    onclick: move |_event| {
                        let nav = use_navigator();
                        nav.go_back();
                    },
                    img { src: "{format_svg(include_bytes!(\"../../public/icons/back.svg\"))}" }
                }
            }

            h1 { "{props.page_name.clone()}" }
            div { class: "nav_children",
                { props.body }
            }
        }
    }
}