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
use geom::CornerRadii;
use widgetry::{
CornerRounding, EventCtx, HorizontalAlignment, Panel, PanelBuilder, PanelDims,
VerticalAlignment, Widget,
};
pub struct LeftPanel;
impl LeftPanel {
pub fn builder(ctx: &EventCtx, top_panel: &Panel, contents: Widget) -> PanelBuilder {
let top_height = top_panel.panel_dims().height;
Panel::new_builder(
contents.corner_rounding(CornerRounding::CornerRadii(CornerRadii {
top_left: 0.0,
bottom_left: 0.0,
bottom_right: 0.0,
top_right: 0.0,
})),
)
.aligned(
HorizontalAlignment::Percent(0.0),
VerticalAlignment::Below(top_height),
)
.dims_height(PanelDims::ExactPixels(
ctx.canvas.window_height - top_height,
))
}
}