comparison src/econnect/wp3_3/client/widgets/map/Map.java @ 75:d69066d16e45 trimmed_data

load overlays from data-file
author Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
date Tue, 15 Jan 2013 16:32:25 +0100
parents eac73bf1ce6e
children
comparison
equal deleted inserted replaced
74:caca95f925cc 75:d69066d16e45
145 //TODO: add correct (better) image 145 //TODO: add correct (better) image
146 final Image overlay = new Image(constants.addImage()); 146 final Image overlay = new Image(constants.addImage());
147 final MenuBar overlayMenu = new MenuBar(true); 147 final MenuBar overlayMenu = new MenuBar(true);
148 148
149 overlayMenu.setAnimationEnabled(true); 149 overlayMenu.setAnimationEnabled(true);
150 //TODO: add overlays from data 150
151 //for( int i=0; i<this.jsMap.getMapCount(); i++ ){ 151 for( int i=0; i<this.jsMap.getOverlayCount(); i++ ){
152 // final int index = i; 152 final int index = i;
153 overlayMenu.addItem("Limes", new Command() { 153 overlayMenu.addItem(this.jsMap.getOverlayName(index), new Command() {
154 public void execute() { 154 public void execute() {
155 jsMap.setOverlay(0); 155 jsMap.setOverlay(index);
156 RootPanel.get().remove(overlayMenu); 156 RootPanel.get().remove(overlayMenu);
157 overlay.setUrl(constants.addImage()); 157 overlay.setUrl(constants.addImage());
158 } 158 }
159 }); 159 });
160 //} 160 }
161 overlayMenu.addStyleName("zHigh"); 161 overlayMenu.addStyleName("zHigh");
162 162
163 overlay.setTitle(textConstants.overlayLayers()); 163 overlay.setTitle(textConstants.overlayLayers());
164 overlay.addClickHandler(new ClickHandler() { 164 overlay.addClickHandler(new ClickHandler() {
165 public void onClick(ClickEvent event) { 165 public void onClick(ClickEvent event) {