geosolutions-it/mapstore — pull request #53 by mbarto (2012-11-18 13:52:06+00:00)
Title: Dynamic Geocoder Widget

Implements a geocoder widget (similar to the gpx one) which can dynamically choose the right geocoder to use (among google or nominatim, currently) depending on the current map background