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

Make sure the panel resize lines are visible when hovered/resizing

Browse source
This commit is contained in:
Emil Ernerfeldt 2023-02-03 09:31:24 +01:00
parent 312cab5355
commit 8c3d8b3ba5
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
crates/egui/src/containers/panel.rs
View file

@ -297,12 +297,12 @@ impl SidePanel {
{ {
let stroke = if is_resizing { 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 { } 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 { } else if show_separator_line {
// TOOD(emilk): distinguish resizable from non-resizable // TOOD(emilk): distinguish resizable from non-resizable
ui.style().visuals.widgets.noninteractive.bg_stroke ui.style().visuals.widgets.noninteractive.bg_stroke // dim
} else { } else {
Stroke::NONE Stroke::NONE
}; };
@ -748,12 +748,12 @@ impl TopBottomPanel {
{ {
let stroke = if is_resizing { 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 { } 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 { } else if show_separator_line {
// TOOD(emilk): distinguish resizable from non-resizable // TOOD(emilk): distinguish resizable from non-resizable
ui.style().visuals.widgets.noninteractive.bg_stroke ui.style().visuals.widgets.noninteractive.bg_stroke // dim
} else { } else {
Stroke::NONE Stroke::NONE
}; };