RemoteTechnologiesGroup/RemoteTech — pull request #175 by Starstrider42 (2014-09-25 22:53:36+00:00)
Title: Use map view filters to hide unwanted vessels in target list

These four patches allow the player to use the map view or tracking station filters to filter the list of antenna targets. The current implementation is kind of clunky, but we don't have any better ideas at the moment (see comments for commit 8162765). I have not noticed any performance issues from the repeated calls to `AntennaFragment.Refresh()`.

Fixes #37.