re_ui 0.31.1

Rerun GUI theme and helpers, built around egui
Documentation 
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

//! [`BoxedWidget`] and [`BoxedWidgetExt::boxed`] helpers.
//!
//! [`Box<dyn Widget>`] cannot work because [`Widget`] is not dyn compatible (we can't move out of the
//! Box for the `self` param).
//! Fortunately,  `Box<dyn FnOnce(&mut egui::Ui) -> egui::Response + 'a>` _does_ implement [`Widget`]
//! (Since [`Widget`] is implemented for all `FnOnce(&mut Ui) -> Response`, and `FnOnce` is
//! implemented for all `Box<dyn FnOnce(...)>`).
//!
//! This module contains helpers to box any widgets.
use egui::Widget;

pub type BoxedWidget<'a> = Box<dyn FnOnce(&mut egui::Ui) -> egui::Response + Send + Sync + 'a>;

pub type BoxedWidgetLocal<'a> = Box<dyn FnOnce(&mut egui::Ui) -> egui::Response + 'a>;

pub trait BoxedWidgetExt<'a> {
    fn boxed(self) -> BoxedWidget<'a>;
}

impl<'a, T: 'a> BoxedWidgetExt<'a> for T
where
    T: Widget + Send + Sync,
{
    fn boxed(self) -> BoxedWidget<'a> {
        Box::new(move |ui: &mut egui::Ui| ui.add(self))
    }
}

pub trait BoxedWidgetLocalExt<'a> {
    fn boxed_local(self) -> BoxedWidgetLocal<'a>;
}

impl<'a, T: 'a> BoxedWidgetLocalExt<'a> for T
where
    T: Widget,
{
    fn boxed_local(self) -> BoxedWidgetLocal<'a> {
        Box::new(move |ui: &mut egui::Ui| ui.add(self))
    }
}