2016-07-13 08:19:05 +00:00
|
|
|
use XY;
|
2016-07-15 03:27:15 +00:00
|
|
|
use direction;
|
2016-07-02 07:47:38 +00:00
|
|
|
use view::View;
|
2016-07-17 01:18:33 +00:00
|
|
|
use view::{Selector, SizeCache};
|
2015-06-08 03:58:10 +00:00
|
|
|
use vec::Vec2;
|
2016-07-14 06:25:54 +00:00
|
|
|
use Printer;
|
2016-03-15 22:37:57 +00:00
|
|
|
use event::{Event, EventResult, Key};
|
2015-06-08 03:58:10 +00:00
|
|
|
|
2016-07-17 01:18:33 +00:00
|
|
|
use std::any::Any;
|
2016-07-13 08:19:05 +00:00
|
|
|
use std::cmp::min;
|
|
|
|
|
2015-06-08 22:38:10 +00:00
|
|
|
/// Arranges its children linearly according to its orientation.
|
2015-06-08 03:58:10 +00:00
|
|
|
pub struct LinearLayout {
|
|
|
|
children: Vec<Child>,
|
2016-07-15 03:27:15 +00:00
|
|
|
orientation: direction::Orientation,
|
2015-06-08 22:11:44 +00:00
|
|
|
focus: usize,
|
2016-07-11 00:41:49 +00:00
|
|
|
|
2016-07-13 08:19:05 +00:00
|
|
|
cache: Option<XY<SizeCache>>,
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|
|
|
|
|
2015-06-08 22:38:10 +00:00
|
|
|
struct Child {
|
|
|
|
view: Box<View>,
|
|
|
|
size: Vec2,
|
|
|
|
weight: usize,
|
|
|
|
}
|
2015-06-08 03:58:10 +00:00
|
|
|
|
2016-07-13 08:19:05 +00:00
|
|
|
impl Child {
|
|
|
|
fn get_min_size(&mut self, req: Vec2) -> Vec2 {
|
|
|
|
self.size = self.view.get_min_size(req);
|
|
|
|
self.size
|
|
|
|
}
|
2016-07-14 05:11:03 +00:00
|
|
|
|
2016-07-15 05:32:43 +00:00
|
|
|
fn as_view(&self) -> &View {
|
2016-07-14 05:11:03 +00:00
|
|
|
&*self.view
|
|
|
|
}
|
2016-07-13 08:19:05 +00:00
|
|
|
}
|
|
|
|
|
2015-06-08 03:58:10 +00:00
|
|
|
impl LinearLayout {
|
2015-06-08 22:38:10 +00:00
|
|
|
/// Creates a new layout with the given orientation.
|
2016-07-15 03:27:15 +00:00
|
|
|
pub fn new(orientation: direction::Orientation) -> Self {
|
2015-06-08 03:58:10 +00:00
|
|
|
LinearLayout {
|
|
|
|
children: Vec::new(),
|
|
|
|
orientation: orientation,
|
2015-06-08 22:11:44 +00:00
|
|
|
focus: 0,
|
2016-07-13 08:19:05 +00:00
|
|
|
cache: None,
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-06-08 22:38:10 +00:00
|
|
|
/// Modifies the weight of the last child added.
|
|
|
|
///
|
|
|
|
/// It is an error to call this before adding a child (and it will panic).
|
2015-06-08 03:58:10 +00:00
|
|
|
pub fn weight(mut self, weight: usize) -> Self {
|
|
|
|
self.children.last_mut().unwrap().weight = weight;
|
|
|
|
|
|
|
|
self
|
|
|
|
}
|
|
|
|
|
2015-06-08 22:38:10 +00:00
|
|
|
/// Adds a child to the layout.
|
2015-06-08 03:58:10 +00:00
|
|
|
pub fn child<V: View + 'static>(mut self, view: V) -> Self {
|
|
|
|
self.children.push(Child {
|
|
|
|
view: Box::new(view),
|
|
|
|
size: Vec2::zero(),
|
|
|
|
weight: 0,
|
|
|
|
});
|
2016-07-13 08:19:05 +00:00
|
|
|
self.invalidate();
|
2015-06-08 03:58:10 +00:00
|
|
|
|
|
|
|
self
|
|
|
|
}
|
|
|
|
|
2016-07-13 08:19:05 +00:00
|
|
|
// Invalidate the view, to request a layout next time
|
|
|
|
fn invalidate(&mut self) {
|
|
|
|
self.cache = None;
|
|
|
|
}
|
|
|
|
|
2015-06-08 22:38:10 +00:00
|
|
|
/// Creates a new vertical layout.
|
2015-06-08 03:58:10 +00:00
|
|
|
pub fn vertical() -> Self {
|
2016-07-15 03:27:15 +00:00
|
|
|
LinearLayout::new(direction::Orientation::Vertical)
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|
2015-06-08 22:38:10 +00:00
|
|
|
|
|
|
|
/// Creates a new horizontal layout.
|
2015-06-08 03:58:10 +00:00
|
|
|
pub fn horizontal() -> Self {
|
2016-07-15 03:27:15 +00:00
|
|
|
LinearLayout::new(direction::Orientation::Horizontal)
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|
2016-07-13 08:19:05 +00:00
|
|
|
|
|
|
|
// If the cache can be used, return the cached size.
|
|
|
|
// Otherwise, return None.
|
|
|
|
fn get_cache(&self, req: Vec2) -> Option<Vec2> {
|
|
|
|
match self.cache {
|
|
|
|
None => None,
|
|
|
|
Some(ref cache) => {
|
|
|
|
// Is our cache even valid?
|
|
|
|
// Also, is any child invalidating the layout?
|
2016-07-14 05:11:03 +00:00
|
|
|
if cache.zip_map(req, SizeCache::accept).both() &&
|
2016-07-13 08:19:05 +00:00
|
|
|
self.children_are_sleeping() {
|
|
|
|
Some(cache.map(|s| s.value))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn children_are_sleeping(&self) -> bool {
|
|
|
|
!self.children
|
|
|
|
.iter()
|
2016-07-15 05:32:43 +00:00
|
|
|
.map(Child::as_view)
|
2016-07-13 08:19:05 +00:00
|
|
|
.any(View::needs_relayout)
|
|
|
|
}
|
2016-07-14 05:11:03 +00:00
|
|
|
|
2016-07-15 03:27:15 +00:00
|
|
|
/// Returns a cyclic mutable iterator starting with the child in focus
|
|
|
|
fn iter_mut<'a>(&'a mut self, from_focus: bool,
|
2016-07-16 20:25:21 +00:00
|
|
|
source: direction::Relative)
|
2016-07-15 05:32:43 +00:00
|
|
|
-> Box<Iterator<Item = (usize, &mut Child)> + 'a> {
|
2016-07-15 03:27:15 +00:00
|
|
|
|
2016-07-16 20:25:21 +00:00
|
|
|
match source {
|
2016-07-15 03:27:15 +00:00
|
|
|
direction::Relative::Front => {
|
|
|
|
let start = if from_focus {
|
|
|
|
self.focus
|
|
|
|
} else {
|
|
|
|
0
|
|
|
|
};
|
|
|
|
|
|
|
|
Box::new(self.children.iter_mut().enumerate().skip(start))
|
|
|
|
}
|
|
|
|
direction::Relative::Back => {
|
|
|
|
let end = if from_focus {
|
|
|
|
self.focus + 1
|
|
|
|
} else {
|
|
|
|
self.children.len()
|
|
|
|
};
|
|
|
|
Box::new(self.children[..end].iter_mut().enumerate().rev())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn move_focus(&mut self, source: direction::Direction) -> EventResult {
|
|
|
|
|
|
|
|
let i = if let Some(i) = source.relative(self.orientation)
|
|
|
|
.and_then(|rel| {
|
|
|
|
// The iterator starts at the focused element.
|
|
|
|
// We don't want that one.
|
|
|
|
self.iter_mut(true, rel)
|
|
|
|
.skip(1)
|
|
|
|
.filter_map(|p| try_focus(p, source))
|
|
|
|
.next()
|
|
|
|
}) {
|
|
|
|
i
|
|
|
|
} else {
|
|
|
|
return EventResult::Ignored;
|
|
|
|
};
|
|
|
|
self.focus = i;
|
|
|
|
EventResult::Consumed(None)
|
|
|
|
}
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|
|
|
|
|
2016-07-15 03:27:15 +00:00
|
|
|
fn try_focus((i, child): (usize, &mut Child), source: direction::Direction)
|
|
|
|
-> Option<usize> {
|
|
|
|
if child.view.take_focus(source) {
|
|
|
|
Some(i)
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-06-08 03:58:10 +00:00
|
|
|
impl View for LinearLayout {
|
2016-07-16 06:44:38 +00:00
|
|
|
fn draw(&self, printer: &Printer) {
|
2015-06-08 03:58:10 +00:00
|
|
|
// Use pre-computed sizes
|
|
|
|
let mut offset = Vec2::zero();
|
2016-07-16 06:44:38 +00:00
|
|
|
for (i, child) in self.children.iter().enumerate() {
|
2016-07-11 02:11:21 +00:00
|
|
|
let printer =
|
|
|
|
&printer.sub_printer(offset, child.size, i == self.focus);
|
|
|
|
child.view.draw(printer);
|
2015-06-08 03:58:10 +00:00
|
|
|
|
2016-07-02 07:47:38 +00:00
|
|
|
// On the axis given by the orientation,
|
|
|
|
// add the child size to the offset.
|
2016-06-28 05:10:59 +00:00
|
|
|
*self.orientation.get_ref(&mut offset) += self.orientation
|
2016-07-10 02:05:51 +00:00
|
|
|
.get(&child.size);
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-07-11 00:41:49 +00:00
|
|
|
fn needs_relayout(&self) -> bool {
|
2016-07-13 08:19:05 +00:00
|
|
|
if self.cache.is_none() {
|
2016-07-11 00:41:49 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2016-07-13 08:19:05 +00:00
|
|
|
!self.children_are_sleeping()
|
2016-07-11 00:41:49 +00:00
|
|
|
}
|
|
|
|
|
2015-06-08 03:58:10 +00:00
|
|
|
fn layout(&mut self, size: Vec2) {
|
2016-07-13 08:19:05 +00:00
|
|
|
// If we can get away without breaking a sweat, you can bet we will.
|
|
|
|
if self.get_cache(size).is_none() {
|
|
|
|
self.get_min_size(size);
|
|
|
|
}
|
|
|
|
|
|
|
|
for child in &mut self.children {
|
|
|
|
child.view.layout(child.size);
|
|
|
|
}
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|
|
|
|
|
2016-07-10 01:23:58 +00:00
|
|
|
fn get_min_size(&mut self, req: Vec2) -> Vec2 {
|
2016-07-13 08:19:05 +00:00
|
|
|
// Did anything change since last time?
|
|
|
|
if let Some(size) = self.get_cache(req) {
|
|
|
|
return size;
|
|
|
|
}
|
|
|
|
|
2015-06-08 03:58:10 +00:00
|
|
|
// First, make a naive scenario: everything will work fine.
|
2016-03-15 22:37:57 +00:00
|
|
|
let sizes: Vec<Vec2> = self.children
|
2016-07-10 02:05:51 +00:00
|
|
|
.iter_mut()
|
2016-07-13 08:19:05 +00:00
|
|
|
.map(|c| c.get_min_size(req))
|
2016-07-10 02:05:51 +00:00
|
|
|
.collect();
|
2016-07-13 08:19:05 +00:00
|
|
|
// println_stderr!("Ideal sizes: {:?}", sizes);
|
|
|
|
let ideal = self.orientation.stack(sizes.iter());
|
|
|
|
// println_stderr!("Ideal result: {:?}", ideal);
|
2015-06-08 03:58:10 +00:00
|
|
|
|
|
|
|
|
2016-07-13 08:19:05 +00:00
|
|
|
// Does it fit?
|
|
|
|
if ideal.fits_in(req) {
|
|
|
|
// Champagne!
|
|
|
|
self.cache = Some(SizeCache::build(ideal, req));
|
|
|
|
return ideal;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Ok, so maybe it didn't.
|
|
|
|
// Budget cuts, everyone.
|
|
|
|
let budget_req = req.with(self.orientation, 1);
|
|
|
|
// println_stderr!("Budget req: {:?}", budget_req);
|
|
|
|
|
2016-07-14 05:11:03 +00:00
|
|
|
// See how they like it that way
|
2016-07-13 08:19:05 +00:00
|
|
|
let min_sizes: Vec<Vec2> = self.children
|
|
|
|
.iter_mut()
|
|
|
|
.map(|c| c.get_min_size(budget_req))
|
|
|
|
.collect();
|
|
|
|
let desperate = self.orientation.stack(min_sizes.iter());
|
|
|
|
// println_stderr!("Min sizes: {:?}", min_sizes);
|
|
|
|
// println_stderr!("Desperate: {:?}", desperate);
|
|
|
|
|
2016-07-14 05:11:03 +00:00
|
|
|
// This is the lowest we'll ever go. It better fit at least.
|
2016-07-13 08:19:05 +00:00
|
|
|
if !desperate.fits_in(req) {
|
|
|
|
// Just give up...
|
2016-07-14 05:11:03 +00:00
|
|
|
// TODO: print some error message or something
|
2016-07-13 08:19:05 +00:00
|
|
|
// println_stderr!("Seriously? {:?} > {:?}???", desperate, req);
|
2016-07-17 05:05:28 +00:00
|
|
|
// self.cache = Some(SizeCache::build(desperate, req));
|
|
|
|
self.cache = None;
|
2016-07-13 08:19:05 +00:00
|
|
|
return desperate;
|
|
|
|
}
|
|
|
|
|
|
|
|
// This here is how much we're generously offered
|
2016-07-17 05:05:28 +00:00
|
|
|
// (We just checked that req >= desperate, so the substraction is safe
|
2016-07-13 08:19:05 +00:00
|
|
|
let mut available = self.orientation.get(&(req - desperate));
|
|
|
|
// println_stderr!("Available: {:?}", available);
|
|
|
|
|
|
|
|
// Here, we have to make a compromise between the ideal
|
|
|
|
// and the desperate solutions.
|
|
|
|
let mut overweight: Vec<(usize, usize)> = sizes.iter()
|
|
|
|
.map(|v| self.orientation.get(v))
|
|
|
|
.zip(min_sizes.iter().map(|v| self.orientation.get(v)))
|
2016-07-17 05:05:28 +00:00
|
|
|
.map(|(a, b)| if a > b {
|
|
|
|
a - b
|
|
|
|
} else {
|
|
|
|
0
|
|
|
|
})
|
2016-07-13 08:19:05 +00:00
|
|
|
.enumerate()
|
|
|
|
.collect();
|
|
|
|
// println_stderr!("Overweight: {:?}", overweight);
|
|
|
|
|
|
|
|
// So... distribute `available` to reduce the overweight...
|
|
|
|
// TODO: use child weight in the distribution...
|
2016-07-14 05:11:03 +00:00
|
|
|
|
|
|
|
// We'll give everyone his share of what we have left,
|
|
|
|
// starting with those who ask the least.
|
2016-07-13 08:19:05 +00:00
|
|
|
overweight.sort_by_key(|&(_, weight)| weight);
|
|
|
|
let mut allocations = vec![0; overweight.len()];
|
|
|
|
|
|
|
|
for (i, &(j, weight)) in overweight.iter().enumerate() {
|
2016-07-14 05:11:03 +00:00
|
|
|
// This is the number of people we still have to feed.
|
2016-07-13 08:19:05 +00:00
|
|
|
let remaining = overweight.len() - i;
|
2016-07-14 05:11:03 +00:00
|
|
|
// How much we can spare on each one
|
2016-07-13 08:19:05 +00:00
|
|
|
let budget = available / remaining;
|
2016-07-14 05:11:03 +00:00
|
|
|
// Maybe he doesn't even need that much?
|
2016-07-13 08:19:05 +00:00
|
|
|
let spent = min(budget, weight);
|
|
|
|
allocations[j] = spent;
|
|
|
|
available -= spent;
|
|
|
|
}
|
|
|
|
// println_stderr!("Allocations: {:?}", allocations);
|
|
|
|
|
2016-07-14 05:11:03 +00:00
|
|
|
// Final lengths are the minimum ones + generous allocations
|
2016-07-13 08:19:05 +00:00
|
|
|
let final_lengths: Vec<Vec2> = min_sizes.iter()
|
|
|
|
.map(|v| self.orientation.get(v))
|
|
|
|
.zip(allocations.iter())
|
|
|
|
.map(|(a, b)| a + b)
|
|
|
|
.map(|l| req.with(self.orientation, l))
|
|
|
|
.collect();
|
|
|
|
// println_stderr!("Final sizes: {:?}", final_lengths);
|
|
|
|
|
2016-07-14 05:11:03 +00:00
|
|
|
// Let's ask everyone one last time. Everyone should be happy.
|
|
|
|
// (But they may ask more on the other axis.)
|
2016-07-13 08:19:05 +00:00
|
|
|
let final_sizes: Vec<Vec2> = self.children
|
|
|
|
.iter_mut()
|
|
|
|
.enumerate()
|
2016-07-14 05:11:03 +00:00
|
|
|
.map(|(i, c)| c.get_min_size(final_lengths[i]))
|
2016-07-13 08:19:05 +00:00
|
|
|
.collect();
|
|
|
|
// println_stderr!("Final sizes2: {:?}", final_sizes);
|
2015-06-08 03:58:10 +00:00
|
|
|
|
2016-07-14 05:11:03 +00:00
|
|
|
// Let's stack everything to see what it looks like.
|
2016-07-13 08:19:05 +00:00
|
|
|
let compromise = self.orientation.stack(final_sizes.iter());
|
2016-07-14 05:11:03 +00:00
|
|
|
|
|
|
|
// Phew, that was a lot of work! I'm not doing it again.
|
2016-07-13 08:19:05 +00:00
|
|
|
self.cache = Some(SizeCache::build(compromise, req));
|
2015-06-08 03:58:10 +00:00
|
|
|
|
2016-07-13 08:19:05 +00:00
|
|
|
compromise
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|
2015-06-08 22:11:44 +00:00
|
|
|
|
2016-07-15 03:27:15 +00:00
|
|
|
fn take_focus(&mut self, source: direction::Direction) -> bool {
|
|
|
|
// In what order will we iterate on the children?
|
|
|
|
let rel = source.relative(self.orientation);
|
|
|
|
// We activate from_focus only if coming from the "sides".
|
|
|
|
let i = if let Some(i) = self.iter_mut(rel.is_none(),
|
|
|
|
rel.unwrap_or(direction::Relative::Front))
|
|
|
|
.filter_map(|p| try_focus(p, source))
|
|
|
|
.next() {
|
|
|
|
|
|
|
|
// ... we can't update `self.focus` here,
|
|
|
|
// because rustc thinks we still borrow `self`.
|
|
|
|
// :(
|
|
|
|
i
|
2016-07-14 05:11:03 +00:00
|
|
|
} else {
|
2016-07-15 03:27:15 +00:00
|
|
|
return false;
|
|
|
|
};
|
|
|
|
|
|
|
|
self.focus = i;
|
|
|
|
true
|
2016-07-14 05:11:03 +00:00
|
|
|
}
|
|
|
|
|
2015-06-08 22:11:44 +00:00
|
|
|
fn on_event(&mut self, event: Event) -> EventResult {
|
|
|
|
match self.children[self.focus].view.on_event(event) {
|
2016-06-25 23:36:22 +00:00
|
|
|
EventResult::Ignored => {
|
|
|
|
match event {
|
2016-07-14 05:11:03 +00:00
|
|
|
Event::Shift(Key::Tab) if self.focus > 0 => {
|
2016-07-15 03:27:15 +00:00
|
|
|
self.move_focus(direction::Direction::back())
|
2016-06-25 23:36:22 +00:00
|
|
|
}
|
2016-07-14 05:11:03 +00:00
|
|
|
Event::Key(Key::Tab) if self.focus + 1 <
|
|
|
|
self.children.len() => {
|
2016-07-15 03:27:15 +00:00
|
|
|
self.move_focus(direction::Direction::front())
|
2016-06-25 23:36:22 +00:00
|
|
|
}
|
2016-07-15 03:27:15 +00:00
|
|
|
Event::Key(Key::Left)
|
|
|
|
if self.orientation ==
|
|
|
|
direction::Orientation::Horizontal &&
|
|
|
|
self.focus > 0 => {
|
|
|
|
self.move_focus(direction::Direction::right())
|
2016-06-25 23:36:22 +00:00
|
|
|
}
|
2016-07-10 02:05:51 +00:00
|
|
|
Event::Key(Key::Up) if self.orientation ==
|
2016-07-15 03:27:15 +00:00
|
|
|
direction::Orientation::Vertical &&
|
|
|
|
self.focus > 0 => {
|
|
|
|
self.move_focus(direction::Direction::down())
|
|
|
|
}
|
|
|
|
Event::Key(Key::Right)
|
|
|
|
if self.orientation ==
|
|
|
|
direction::Orientation::Horizontal &&
|
|
|
|
self.focus + 1 <
|
|
|
|
self.children.len() => {
|
|
|
|
self.move_focus(direction::Direction::left())
|
2016-06-25 23:36:22 +00:00
|
|
|
}
|
2016-07-15 03:27:15 +00:00
|
|
|
Event::Key(Key::Down)
|
|
|
|
if self.orientation ==
|
|
|
|
direction::Orientation::Vertical &&
|
|
|
|
self.focus + 1 <
|
|
|
|
self.children.len() => {
|
|
|
|
self.move_focus(direction::Direction::up())
|
2016-06-25 23:36:22 +00:00
|
|
|
}
|
|
|
|
_ => EventResult::Ignored,
|
2016-03-15 22:37:57 +00:00
|
|
|
}
|
2016-06-25 23:36:22 +00:00
|
|
|
}
|
2015-06-08 22:11:44 +00:00
|
|
|
res => res,
|
|
|
|
}
|
|
|
|
}
|
2016-07-17 01:18:33 +00:00
|
|
|
|
|
|
|
fn find(&mut self, selector: &Selector) -> Option<&mut Any> {
|
|
|
|
self.children.iter_mut().filter_map(|c| c.view.find(selector)).next()
|
|
|
|
}
|
2015-06-08 03:58:10 +00:00
|
|
|
}
|