mirror of
https://github.com/encounter/objdiff.git
synced 2026-07-10 12:18:36 -07:00
3f03a75825
This is for consistency with egui's builtint enter/space hotkey for interacting with the focused widget.