GRIN/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-07-14 18:48:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add TODO

Browse Source
This commit is contained in:
Emil Ernerfeldt
2025-06-18 19:41:52 -07:00
parent d3a8e582a2
commit 31843a6415
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/egui/src/containers/panel.rs
+4
View File
@@ -275,6 +275,8 @@ impl SidePanel {
if is_expanded.is_some() && width <= width_range.min && width < old_width {
drag_to_close = true;
// TODO(emilk): it would be nice if, when the user expands the panel again,
// we could return to the width the panel had before the user started drag-to-closing it.
}
}
}
@@ -809,6 +811,8 @@ impl TopBottomPanel {
&& height < old_height
{
drag_to_close = true;
// TODO(emilk): it would be nice if, when the user expands the panel again,
// we could return to the width the panel had before the user started drag-to-closing it.
}
}
}