migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00
Code Activity

Better comment

Browse Source
This commit is contained in:
Emil Ernerfeldt
2025-06-19 11:27:02 +02:00
parent 856571b766
commit 99ae943f7f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
crates/egui/src/containers/panel.rs
View File

@@ -370,7 +370,7 @@ impl SidePanel {
if let Some(is_expanded) = is_expanded {
if drag_to_close {
// Ensure we restore the panel back to the width it had
// Restore the panel back to (approximately) the width it had
// before the dragging started:
if let Some(pointer) = ui.input(|i| i.pointer.press_origin()) {
width = (pointer.x - side.side_x(panel_rect)).abs();
@@ -915,7 +915,7 @@ impl TopBottomPanel {
if let Some(is_expanded) = is_expanded {
if drag_to_close {
// Ensure we restore the panel back to the height it had
// Restore the panel back to (approximately) the height it had
// before the dragging started:
if let Some(pointer) = ui.input(|i| i.pointer.press_origin()) {
height = (pointer.y - side.side_y(panel_rect)).abs();