From 8c3d8b3ba5d7cf120390d251e1d3503501e9693c Mon Sep 17 00:00:00 2001 From: Emil Ernerfeldt Date: Fri, 3 Feb 2023 09:31:24 +0100 Subject: [PATCH] Make sure the panel resize lines are visible when hovered/resizing --- crates/egui/src/containers/panel.rs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/crates/egui/src/containers/panel.rs b/crates/egui/src/containers/panel.rs index 959ef595..e7633e26 100644 --- a/crates/egui/src/containers/panel.rs +++ b/crates/egui/src/containers/panel.rs @@ -297,12 +297,12 @@ impl SidePanel { { let stroke = if is_resizing { - ui.style().visuals.widgets.active.bg_stroke + ui.style().visuals.widgets.active.fg_stroke // highly visible } else if resize_hover { - ui.style().visuals.widgets.hovered.bg_stroke + ui.style().visuals.widgets.hovered.fg_stroke // highly visible } else if show_separator_line { // TOOD(emilk): distinguish resizable from non-resizable - ui.style().visuals.widgets.noninteractive.bg_stroke + ui.style().visuals.widgets.noninteractive.bg_stroke // dim } else { Stroke::NONE }; @@ -748,12 +748,12 @@ impl TopBottomPanel { { let stroke = if is_resizing { - ui.style().visuals.widgets.active.bg_stroke + ui.style().visuals.widgets.active.fg_stroke // highly visible } else if resize_hover { - ui.style().visuals.widgets.hovered.bg_stroke + ui.style().visuals.widgets.hovered.fg_stroke // highly visible } else if show_separator_line { // TOOD(emilk): distinguish resizable from non-resizable - ui.style().visuals.widgets.noninteractive.bg_stroke + ui.style().visuals.widgets.noninteractive.bg_stroke // dim } else { Stroke::NONE };