public void extentSelected ( 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 selected: {}" , extent ) ; } fireEvent ( new MapViewEvent ( MapViewEvent . MAP_EXTENT , extent ) ) ; }
called when the user selected an extent by dragging the mouse with modifier pressed .