| Line 8... |
Line 8... |
| 8 |
import com.google.gwt.maps.client.InfoWindowContent;
|
8 |
import com.google.gwt.maps.client.InfoWindowContent;
|
| 9 |
import com.google.gwt.maps.client.MapType;
|
9 |
import com.google.gwt.maps.client.MapType;
|
| 10 |
import com.google.gwt.maps.client.MapWidget;
|
10 |
import com.google.gwt.maps.client.MapWidget;
|
| 11 |
import com.google.gwt.maps.client.control.LargeMapControl;
|
11 |
import com.google.gwt.maps.client.control.LargeMapControl;
|
| 12 |
import com.google.gwt.maps.client.event.InfoWindowRestoreEndHandler;
|
12 |
import com.google.gwt.maps.client.event.InfoWindowRestoreEndHandler;
|
| - |
|
13 |
import com.google.gwt.maps.client.event.MapClickHandler;
|
| 13 |
import com.google.gwt.maps.client.event.MapZoomEndHandler;
|
14 |
import com.google.gwt.maps.client.event.MapZoomEndHandler;
|
| 14 |
import com.google.gwt.maps.client.event.MarkerClickHandler;
|
15 |
import com.google.gwt.maps.client.event.MarkerClickHandler;
|
| 15 |
import com.google.gwt.maps.client.event.MarkerDragEndHandler;
|
16 |
import com.google.gwt.maps.client.event.MarkerDragEndHandler;
|
| 16 |
import com.google.gwt.maps.client.event.MarkerDragStartHandler;
|
17 |
import com.google.gwt.maps.client.event.MarkerDragStartHandler;
|
| 17 |
import com.google.gwt.maps.client.event.MarkerDragEndHandler.MarkerDragEndEvent;
|
18 |
import com.google.gwt.maps.client.event.MarkerDragEndHandler.MarkerDragEndEvent;
|
| Line 146... |
Line 147... |
| 146 |
map.addControl(new LargeMapControl());
|
147 |
map.addControl(new LargeMapControl());
|
| 147 |
map.setCurrentMapType(MapType.getHybridMap());
|
148 |
map.setCurrentMapType(MapType.getHybridMap());
|
| 148 |
carteAjoutee = true;
|
149 |
carteAjoutee = true;
|
| 149 |
panneauCarto.doLayout();
|
150 |
panneauCarto.doLayout();
|
| Line -... |
Line 151... |
| - |
|
151 |
|
| - |
|
152 |
map.addMapClickHandler(new MapClickHandler() {
|
| - |
|
153 |
|
| - |
|
154 |
public void onClick(MapClickEvent event) {
|
| - |
|
155 |
//TODO : quoi faire du double clic ?
|
| - |
|
156 |
obtenirInfosCommunes(event.getLatLng());
|
| - |
|
157 |
}
|
| - |
|
158 |
|
| - |
|
159 |
});
|
| 150 |
|
160 |
|
| Line 151... |
Line 161... |
| 151 |
map.addMapZoomEndHandler(new MapZoomEndHandler() {
|
161 |
map.addMapZoomEndHandler(new MapZoomEndHandler() {
|
| 152 |
|
162 |
|
| 153 |
public void onZoomEnd(MapZoomEndEvent event) {
|
163 |
public void onZoomEnd(MapZoomEndEvent event) {
|