New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

More search features #1

Open

teunvink opened this issue Apr 9, 2014 · 2 comments

Assignees

Labels

Member

teunvink commented Apr 9, 2014

Search in the dropdown box based on additional properties like country and city of the node.

teunvink added the enhancement label

teunvink self-assigned this

Member Author

teunvink commented Apr 9, 2014

https://developers.google.com/maps/documentation/javascript/geocoding might work to convert coordinates in JSON to city names, but the number of API queries might be an issue.

Member

rodecker commented Jun 8, 2014

Added cities to db NLNOG/ring-puppet@b6daa0e

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment