public void extentChanged ( double latMin , double lonMin , double latMax , double lonMax ) { final Extent extent = Extent . forCoordinates ( new Coordinate ( latMin , lonMin ) , new Coordinate ( latMax , lonMax ) ) ; if ( logger . isTraceEnabled ( ) ) { logger . trace ( "JS reports extend change: {}" , extent ) ; } fireEvent ( new MapViewEvent ( MapViewEvent . MAP_BOUNDING_EXTENT , extent ) ) ; }
called when the map extent changed by changing the center or zoom of the map .