Merge pull request #4491 from leoetlino/debugger-symbol-filter DolphinWX: Add ability to filter symbols (by name)
