grimdock 0.2.0

Dockable panel layout system for 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
41
42
43
44
45
46
47
48
49
50

use egui::{Rect, Ui};

use crate::{
    ids::pane_content_id,
    style::PanelStyle,
    tree::{Node, PanelTree},
};

/// Run the content pass: invoke the caller's render callback for each leaf's
/// focused tab inside a clipped child UI.
pub(crate) fn content_pass<T: Clone + 'static>(
    ui: &mut Ui,
    tree: &PanelTree<T>,
    leaf_rects: &[(usize, Rect)],
    style: &PanelStyle,
    mut render: impl FnMut(&mut Ui, &T),
) {
    for &(leaf_idx, content_rect) in leaf_rects {
        if tree.is_collapsed(leaf_idx) {
            continue;
        }
        let (pane_id, tab_id, focused_idx) = match tree.node(leaf_idx) {
            Node::Leaf {
                pane,
                tabs,
                focused,
                ..
            } => {
                if let Some(tab) = tabs.get(*focused) {
                    (*pane, tab.id.clone(), *focused)
                } else {
                    continue;
                }
            }
            _ => continue,
        };

        // Use a stable ID per leaf + focused tab so widget state (scroll
        // position, text input, etc.) survives tab switches in other panes.
        let content_id = pane_content_id(pane_id).with(focused_idx);
        let inset_rect = content_rect.shrink(style.content_inset);

        ui.push_id(content_id, |ui| {
            ui.scope_builder(egui::UiBuilder::new().max_rect(inset_rect), |ui| {
                ui.set_clip_rect(inset_rect);
                render(ui, &tab_id);
            });
        });
    }
}