1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-27 07:03:14 -04:00
Files
egui/egui/src
Emil Ernerfeldt 6e3604ee4b Bug fix: ui.scope(…) is now equivalent to ui.allocate_space(…) WRT IDs
Before a disabled and enabled button would leave the parent ui
in different states, which lead to a bug where a slider drag could be
aborted if it caused a button before it to switch between enabled
and disabled.

Repro: dragging slider in "Manual Layout Test"
2021-06-24 15:08:16 +02:00
..
2021-05-08 23:42:17 +02:00
2021-06-24 12:29:51 +02:00
2021-06-12 15:53:56 +02:00
2021-06-12 15:53:56 +02:00
2021-06-12 15:53:56 +02:00
2021-06-12 22:12:45 +02:00
2021-06-12 15:53:56 +02:00