egui/emigui/src/memory.rs

61 lines
1.9 KiB
Rust
Raw Normal View History

2020-04-21 12:47:17 +00:00
use std::collections::HashMap;
2020-04-17 13:29:48 +00:00
use crate::{
containers::{collapsing_header, floating, resize, scroll_area},
Id, Layer, Pos2, Rect,
};
2020-04-21 12:47:17 +00:00
2020-04-17 13:29:48 +00:00
#[derive(Clone, Debug, Default)]
pub struct Memory {
/// The widget being interacted with (e.g. dragged, in case of a slider).
pub(crate) active_id: Option<Id>,
2020-04-29 19:25:49 +00:00
/// The widget with keyboard focus (i.e. a text input field).
pub(crate) kb_focus_id: Option<Id>,
2020-04-21 18:48:31 +00:00
// states of various types of widgets
pub(crate) collapsing_headers: HashMap<Id, collapsing_header::State>,
2020-04-22 16:25:02 +00:00
pub(crate) scroll_areas: HashMap<Id, scroll_area::State>,
2020-04-25 12:37:39 +00:00
pub(crate) resize: HashMap<Id, resize::State>,
floating: HashMap<Id, floating::State>,
2020-04-17 13:29:48 +00:00
/// Top is last
pub floating_order: Vec<Id>,
2020-04-17 13:29:48 +00:00
}
impl Memory {
pub fn get_floating(&mut self, id: Id) -> Option<floating::State> {
self.floating.get(&id).cloned()
2020-04-19 21:34:34 +00:00
}
pub fn set_floating_state(&mut self, id: Id, state: floating::State) {
let did_insert = self.floating.insert(id, state).is_none();
2020-04-19 21:34:34 +00:00
if did_insert {
self.floating_order.push(id);
2020-04-19 21:34:34 +00:00
}
2020-04-17 13:29:48 +00:00
}
/// TODO: call once at the start of the frame for the current mouse pos
pub fn layer_at(&self, pos: Pos2) -> Layer {
for floating_id in self.floating_order.iter().rev() {
if let Some(state) = self.floating.get(floating_id) {
let rect = Rect::from_min_size(state.pos, state.size);
if rect.contains(pos) {
return Layer::Window(*floating_id);
2020-04-17 13:29:48 +00:00
}
}
}
Layer::Background
}
pub fn move_floating_to_top(&mut self, id: Id) {
if self.floating_order.last() == Some(&id) {
return; // common case early-out
}
if let Some(index) = self.floating_order.iter().position(|x| *x == id) {
self.floating_order.remove(index);
}
self.floating_order.push(id);
2020-04-17 13:29:48 +00:00
}
}