Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Feature request: filter map elements #33
Depending in the zoom level, some of the categories may still display too many objects on the map, resulting in a cluttered view that could obscure the actual information one is looking for. Here's an example:
To overcome this issue, it would be quite useful if the user could enter a string to filter the results (by name and/or by object type).