comparison gwt-client/src/main/java/org/dive4elements/river/client/client/ui/map/MapPanel.java @ 8856:5e38e2924c07 3.2.x

Fix code style.
author Tom Gottfried <tom@intevation.de>
date Thu, 18 Jan 2018 20:12:01 +0100
parents ea9eef426962
children
comparison
equal deleted inserted replaced
8855:d7c005e12af0 8856:5e38e2924c07
68 if (width < 0 || height < 0) { 68 if (width < 0 || height < 0) {
69 GWT.log("MapPanel: Oops what a size!"); 69 GWT.log("MapPanel: Oops what a size!");
70 return; 70 return;
71 } 71 }
72 72
73 floodMapWidget.setSize(Integer.toString(width), Integer.toString(height)); 73 floodMapWidget.setSize(
74 Integer.toString(width), Integer.toString(height));
74 floodMapWidget.getMap().updateSize(); 75 floodMapWidget.getMap().updateSize();
75 } 76 }
76 77
77 78
78 public FloodMap getFloodMap() { 79 public FloodMap getFloodMap() {

http://dive4elements.wald.intevation.org