2020-04-21 18:52:17 +00:00
|
|
|
use crate::*;
|
|
|
|
|
2020-05-02 09:37:12 +00:00
|
|
|
#[derive(Clone, Copy, Debug, Default, Deserialize, Serialize)]
|
|
|
|
#[serde(default)]
|
|
|
|
pub(crate) struct State {
|
2020-04-22 16:25:02 +00:00
|
|
|
/// Positive offset means scrolling down/right
|
2020-05-02 09:37:12 +00:00
|
|
|
offset: Vec2,
|
2020-04-26 20:30:24 +00:00
|
|
|
|
2020-05-02 09:37:12 +00:00
|
|
|
show_scroll: bool, // TODO: default value?
|
2020-04-22 16:25:02 +00:00
|
|
|
}
|
|
|
|
|
2020-05-01 08:02:53 +00:00
|
|
|
// TODO: rename VScroll
|
2020-04-26 20:30:24 +00:00
|
|
|
#[derive(Clone, Debug)]
|
2020-04-21 18:52:17 +00:00
|
|
|
pub struct ScrollArea {
|
|
|
|
max_height: f32,
|
2020-04-26 20:30:24 +00:00
|
|
|
always_show_scroll: bool,
|
|
|
|
auto_hide_scroll: bool,
|
2020-04-21 18:52:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Default for ScrollArea {
|
|
|
|
fn default() -> Self {
|
2020-04-26 20:30:24 +00:00
|
|
|
Self {
|
|
|
|
max_height: 200.0,
|
|
|
|
always_show_scroll: false,
|
|
|
|
auto_hide_scroll: true,
|
|
|
|
}
|
2020-04-21 18:52:17 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ScrollArea {
|
|
|
|
pub fn max_height(mut self, max_height: f32) -> Self {
|
|
|
|
self.max_height = max_height;
|
|
|
|
self
|
|
|
|
}
|
2020-04-26 20:30:24 +00:00
|
|
|
|
|
|
|
pub fn always_show_scroll(mut self, always_show_scroll: bool) -> Self {
|
|
|
|
self.always_show_scroll = always_show_scroll;
|
|
|
|
self
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn auto_hide_scroll(mut self, auto_hide_scroll: bool) -> Self {
|
|
|
|
self.auto_hide_scroll = auto_hide_scroll;
|
|
|
|
self
|
|
|
|
}
|
2020-04-21 18:52:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ScrollArea {
|
2020-04-24 16:47:14 +00:00
|
|
|
pub fn show(self, outer_region: &mut Region, add_contents: impl FnOnce(&mut Region)) {
|
2020-04-21 18:52:17 +00:00
|
|
|
let ctx = outer_region.ctx().clone();
|
|
|
|
|
2020-05-04 19:59:28 +00:00
|
|
|
let scroll_area_id = outer_region.make_child_id("scroll_area");
|
2020-04-21 18:52:17 +00:00
|
|
|
let mut state = ctx
|
2020-05-02 09:37:12 +00:00
|
|
|
.memory()
|
2020-04-21 18:52:17 +00:00
|
|
|
.scroll_areas
|
|
|
|
.get(&scroll_area_id)
|
|
|
|
.cloned()
|
|
|
|
.unwrap_or_default();
|
|
|
|
|
|
|
|
// content: size of contents (generally large)
|
2020-04-22 21:25:32 +00:00
|
|
|
// outer: size of scroll area including scroll bar(s)
|
|
|
|
// inner: excluding scroll bar(s). The area we clip the contents to.
|
2020-04-21 18:52:17 +00:00
|
|
|
|
2020-05-01 08:02:53 +00:00
|
|
|
let max_scroll_bar_width = 16.0;
|
|
|
|
|
|
|
|
let current_scroll_bar_width = if state.show_scroll || !self.auto_hide_scroll {
|
|
|
|
max_scroll_bar_width // TODO: animate?
|
|
|
|
} else {
|
|
|
|
0.0
|
|
|
|
};
|
2020-04-21 18:52:17 +00:00
|
|
|
|
2020-04-26 20:30:24 +00:00
|
|
|
let outer_size = vec2(
|
|
|
|
outer_region.available_width(),
|
|
|
|
outer_region.available_height().min(self.max_height),
|
|
|
|
);
|
2020-04-21 18:52:17 +00:00
|
|
|
|
2020-05-01 08:02:53 +00:00
|
|
|
let inner_size = outer_size - vec2(current_scroll_bar_width, 0.0);
|
2020-05-04 19:59:28 +00:00
|
|
|
let inner_rect = Rect::from_min_size(outer_region.cursor(), inner_size);
|
2020-04-21 18:52:17 +00:00
|
|
|
|
2020-04-26 20:30:24 +00:00
|
|
|
let mut content_region = outer_region.child_region(Rect::from_min_size(
|
|
|
|
outer_region.cursor() - state.offset,
|
|
|
|
vec2(inner_size.x, f32::INFINITY),
|
|
|
|
));
|
2020-05-01 08:02:53 +00:00
|
|
|
// content_region.clip_rect = outer_region.clip_rect().intersect(&inner_rect);
|
|
|
|
content_region.clip_rect = outer_region.clip_rect(); // Nice handling of forced resizing beyon the possible
|
2020-04-21 18:52:17 +00:00
|
|
|
add_contents(&mut content_region);
|
2020-04-25 13:46:50 +00:00
|
|
|
let content_size = content_region.bounding_size();
|
2020-04-21 18:52:17 +00:00
|
|
|
|
2020-05-01 08:02:53 +00:00
|
|
|
let inner_rect = Rect::from_min_size(
|
|
|
|
inner_rect.min,
|
|
|
|
vec2(
|
|
|
|
inner_rect.width().max(content_size.x), // Expand width to fit content
|
|
|
|
inner_rect.height(),
|
|
|
|
),
|
|
|
|
);
|
|
|
|
|
|
|
|
let outer_rect = Rect::from_min_size(
|
|
|
|
inner_rect.min,
|
|
|
|
inner_rect.size() + vec2(current_scroll_bar_width, 0.0),
|
|
|
|
);
|
|
|
|
|
2020-04-26 20:30:24 +00:00
|
|
|
let content_interact = outer_region.interact_rect(&inner_rect, scroll_area_id.with("area"));
|
2020-04-22 15:38:36 +00:00
|
|
|
if content_interact.active {
|
|
|
|
// Dragging scroll area to scroll:
|
2020-05-04 19:35:16 +00:00
|
|
|
state.offset.y -= ctx.input().mouse_move.y;
|
2020-04-22 15:38:36 +00:00
|
|
|
}
|
|
|
|
|
2020-04-22 18:01:49 +00:00
|
|
|
// TODO: check that nothing else is being inteacted with
|
2020-05-02 09:37:12 +00:00
|
|
|
if outer_region.contains_mouse(&outer_rect) && ctx.memory().active_id.is_none() {
|
2020-05-04 19:35:16 +00:00
|
|
|
state.offset.y -= ctx.input().scroll_delta.y;
|
2020-04-22 18:01:49 +00:00
|
|
|
}
|
|
|
|
|
2020-04-26 20:30:24 +00:00
|
|
|
let show_scroll_this_frame = content_size.y > inner_size.y || self.always_show_scroll;
|
|
|
|
if show_scroll_this_frame || state.show_scroll {
|
2020-04-22 21:25:32 +00:00
|
|
|
let left = inner_rect.right() + 2.0;
|
2020-04-22 17:38:38 +00:00
|
|
|
let right = outer_rect.right();
|
2020-04-22 21:25:32 +00:00
|
|
|
let corner_radius = (right - left) / 2.0;
|
|
|
|
let top = inner_rect.top();
|
|
|
|
let bottom = inner_rect.bottom();
|
2020-04-21 18:52:17 +00:00
|
|
|
|
|
|
|
let outer_scroll_rect = Rect::from_min_max(
|
2020-04-22 17:38:38 +00:00
|
|
|
pos2(left, inner_rect.top()),
|
|
|
|
pos2(right, inner_rect.bottom()),
|
2020-04-21 18:52:17 +00:00
|
|
|
);
|
|
|
|
|
2020-04-25 09:11:44 +00:00
|
|
|
let from_content =
|
|
|
|
|content_y| remap_clamp(content_y, 0.0..=content_size.y, top..=bottom);
|
2020-04-21 18:52:17 +00:00
|
|
|
|
2020-04-22 21:25:32 +00:00
|
|
|
let handle_rect = Rect::from_min_max(
|
|
|
|
pos2(left, from_content(state.offset.y)),
|
|
|
|
pos2(right, from_content(state.offset.y + inner_rect.height())),
|
2020-04-21 18:52:17 +00:00
|
|
|
);
|
|
|
|
|
2020-04-22 21:25:32 +00:00
|
|
|
// intentionally use same id for inside and outside of handle
|
2020-04-26 20:30:24 +00:00
|
|
|
let interact_id = scroll_area_id.with("vertical");
|
|
|
|
let handle_interact = outer_region.interact_rect(&handle_rect, interact_id);
|
2020-04-21 18:52:17 +00:00
|
|
|
|
2020-05-04 19:35:16 +00:00
|
|
|
if let Some(mouse_pos) = ctx.input().mouse_pos {
|
2020-04-22 21:25:32 +00:00
|
|
|
if handle_interact.active {
|
2020-04-22 17:38:38 +00:00
|
|
|
if inner_rect.top() <= mouse_pos.y && mouse_pos.y <= inner_rect.bottom() {
|
2020-04-21 18:52:17 +00:00
|
|
|
state.offset.y +=
|
2020-05-04 19:35:16 +00:00
|
|
|
ctx.input().mouse_move.y * content_size.y / inner_rect.height();
|
2020-04-21 18:52:17 +00:00
|
|
|
}
|
2020-04-22 21:25:32 +00:00
|
|
|
} else {
|
|
|
|
// Check for mouse down outside handle:
|
|
|
|
let scroll_bg_interact =
|
2020-04-26 20:30:24 +00:00
|
|
|
outer_region.interact_rect(&outer_scroll_rect, interact_id);
|
2020-04-22 21:25:32 +00:00
|
|
|
|
|
|
|
if scroll_bg_interact.active {
|
|
|
|
// Center scroll at mouse pos:
|
|
|
|
let mpos_top = mouse_pos.y - handle_rect.height() / 2.0;
|
2020-04-25 09:11:44 +00:00
|
|
|
state.offset.y = remap(mpos_top, top..=bottom, 0.0..=content_size.y);
|
2020-04-22 21:25:32 +00:00
|
|
|
}
|
2020-04-21 18:52:17 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-04-22 21:25:32 +00:00
|
|
|
state.offset.y = state.offset.y.max(0.0);
|
|
|
|
state.offset.y = state.offset.y.min(content_size.y - inner_rect.height());
|
|
|
|
|
|
|
|
// Avoid frame-delay by calculating a new handle rect:
|
|
|
|
let handle_rect = Rect::from_min_max(
|
|
|
|
pos2(left, from_content(state.offset.y)),
|
|
|
|
pos2(right, from_content(state.offset.y + inner_rect.height())),
|
|
|
|
);
|
|
|
|
|
2020-04-21 18:52:17 +00:00
|
|
|
let style = outer_region.style();
|
|
|
|
let handle_fill_color = style.interact_fill_color(&handle_interact);
|
|
|
|
let handle_outline = style.interact_outline(&handle_interact);
|
|
|
|
|
|
|
|
outer_region.add_paint_cmd(PaintCmd::Rect {
|
|
|
|
rect: outer_scroll_rect,
|
|
|
|
corner_radius,
|
2020-04-26 20:30:24 +00:00
|
|
|
fill_color: Some(color::gray(0, 196)), // TODO style
|
2020-04-21 18:52:17 +00:00
|
|
|
outline: None,
|
|
|
|
});
|
|
|
|
|
|
|
|
outer_region.add_paint_cmd(PaintCmd::Rect {
|
2020-04-22 21:25:32 +00:00
|
|
|
rect: handle_rect.expand(-2.0),
|
2020-04-21 18:52:17 +00:00
|
|
|
corner_radius,
|
|
|
|
fill_color: handle_fill_color,
|
|
|
|
outline: handle_outline,
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2020-05-01 00:08:01 +00:00
|
|
|
// let size = content_size.min(inner_rect.size());
|
2020-05-01 08:02:53 +00:00
|
|
|
// let size = vec2(
|
|
|
|
// content_size.x, // ignore inner_rect, i.e. try to expand horizontally if necessary
|
|
|
|
// content_size.y.min(inner_rect.size().y), // respect vertical height.
|
|
|
|
// );
|
|
|
|
let size = outer_rect.size();
|
2020-05-01 00:08:01 +00:00
|
|
|
outer_region.reserve_space(size, None);
|
2020-04-21 18:52:17 +00:00
|
|
|
|
2020-04-22 15:38:36 +00:00
|
|
|
state.offset.y = state.offset.y.min(content_size.y - inner_rect.height());
|
2020-04-26 20:30:24 +00:00
|
|
|
state.offset.y = state.offset.y.max(0.0);
|
|
|
|
state.show_scroll = show_scroll_this_frame;
|
2020-04-22 15:38:36 +00:00
|
|
|
|
2020-04-21 18:52:17 +00:00
|
|
|
outer_region
|
2020-05-02 09:37:12 +00:00
|
|
|
.memory()
|
2020-04-21 18:52:17 +00:00
|
|
|
.scroll_areas
|
|
|
|
.insert(scroll_area_id, state);
|
|
|
|
}
|
|
|
|
}
|