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

Nicer window resize icon

Browse source
This commit is contained in:
Emil Ernerfeldt 2020-04-24 18:32:55 +02:00
parent 39e17a7562
commit ddc34d654b
1 changed files with 31 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
emigui/src/window.rs
View file

@ -268,6 +268,7 @@ fn paint_resize_corner(
style: &Style,
interact: &InteractInfo,
) -> PaintCmd {
if false {
// TODO: Path::circle_sector() or something
let quadrant = 0.0; // Bottom-right
let mut path = Path::default();
@ -282,4 +283,21 @@ fn paint_resize_corner(
fill_color: style.interact_fill_color(&interact),
outline: style.interact_outline(&interact),
}
} else {
let offset = 3.0;
let center = center;
let radius = radius - offset;
let quadrant = 0.0; // Bottom-right
let mut path = Path::default();
path.add_circle_quadrant(center, radius, quadrant);
PaintCmd::Path {
path,
closed: false,
fill_color: None,
outline: Some(Outline::new(
style.interact_stroke_width(&interact),
style.interact_stroke_color(&interact),
)),
}
}
}