mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 22:53:14 -04:00
* Added in https://github.com/emilk/egui/pull/5468 * Related to https://github.com/emilk/egui/pull/7803 The code doesn't seem to longer be needed. Interacting with a resize splitter isn't very difficult, and I never liked that special case.