Java Markers.getDataExtentの例

コード例 #1

ファイル: StationSelectorMap.java プロジェクト: ninenine/SensorWebClient

 public void zoomToMarkers() {
   try {
     if (markerLayer != null) {
       Bounds bbox = markerLayer.getDataExtent();
       if (bbox != null) {
         int z = map.getZoomForExtent(bbox, false);
         map.zoomToExtent(bbox);
         map.zoomTo(z);
       }
     }
   } catch (Exception e) {
     if (!GWT.isProdMode()) {
       GWT.log("", e);
     }
   }
 }

コード例 #2

ファイル: StationSelectorMap.java プロジェクト: ninenine/SensorWebClient

 public void zoomToMarkers(Markers markers) {
   map.zoomToExtent(markers.getDataExtent());
 }