234235236237238239240
public void setSize(int width, int height) { display.asWidget().setSize(width + "px", height + "px"); if (viewPort != null) { viewPort.setMapSize(width, height); } eventBus.fireEvent(new MapResizedEvent(width, height)); }