mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2026-11-11 20:45:08 -06:00
This allows the user to filter symbols by name, instead of having to scroll through a very, very long listbox…
This allows the user to filter symbols by name, instead of having to scroll through a very, very long listbox…