1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 14:50:03 -04:00

refactor interact style

This commit is contained in:
Emil Ernerfeldt
2020-05-10 08:55:41 +02:00
parent 2bd610cb5b
commit 3a1d677840
10 changed files with 135 additions and 87 deletions

View File

@@ -235,8 +235,8 @@ impl Resize {
}
fn paint_resize_corner(ui: &mut Ui, interact: &InteractInfo) {
let color = ui.style().interact_stroke_color(interact);
let width = ui.style().interact_stroke_width(interact);
let color = ui.style().interact(interact).stroke_color;
let width = ui.style().interact(interact).stroke_width;
let corner = interact.rect.right_bottom().round(); // TODO: round to pixels
let mut w = 2.0;