1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-31 22:00:03 -04:00

Better handling of forcibly trying to shink something that can't be

This commit is contained in:
Emil Ernerfeldt
2020-05-01 10:02:53 +02:00
parent f97dcdc9b5
commit 5ac39d9643
4 changed files with 52 additions and 21 deletions

View File

@@ -37,6 +37,9 @@ pub struct Style {
pub window: Window,
/// Allow child widgets to be just on the border and still have an outline with some thickness
pub clip_rect_margin: f32,
// -----------------------------------------------
// Debug rendering:
pub debug_regions: bool,
@@ -61,6 +64,7 @@ impl Default for Style {
text_cursor_width: 2.0,
animation_time: 1.0 / 20.0,
window: Window::default(),
clip_rect_margin: 3.0,
debug_regions: false,
}
}