search

endless-sky / endless-sky-editor

Map editor for the Endless Sky universe.
GNU General Public License v3.0
68 stars 44 forks source link

[enhancement] Search feature #7

Open toilethinges opened 8 years ago

toilethinges commented 8 years ago

Similar to in-game search feature (F in map) so you can find things easier.