djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Adjust default-size of Resize areas to fit within screen

Browse source
This commit is contained in:
Emil Ernerfeldt 2020-12-16 20:31:00 +01:00
parent 91e5295db2
commit 1c9fbc1588
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
egui/src/containers/resize.rs
View file

@ -165,7 +165,10 @@ impl Resize {
let default_size = self let default_size = self
.default_size .default_size
.at_least(self.min_size) .at_least(self.min_size)
.at_most(self.max_size); .at_most(self.max_size)
.at_most(
ui.input().screen_rect().size() - 2.0 * ui.style().spacing.window_padding, // hack for windows
);
State { State {
desired_size: default_size, desired_size: default_size,
@ -266,6 +269,11 @@ impl Resize {
ui.allocate_space(state.last_content_size); ui.allocate_space(state.last_content_size);
} }
if ui.memory().resize.get(&id).is_none() {
// First frame.
state.desired_size = state.desired_size.at_least(state.last_content_size);
}
// ------------------------------ // ------------------------------
if self.with_stroke && corner_response.is_some() { if self.with_stroke && corner_response.is_some() {