mapLayout.setHeight("60%");
// Map with ID wmsMap is defined in the XML configuration. (mapOsm.xml)
final MapWidget map = new MapWidget("mapOsm", "gwt-samples");
map.setController(new PanController(map));
mapLayout.addMember(map);
// Layout with a huge list of buttons to test the rendering:
HLayout buttonLayout = new HLayout();
buttonLayout.setPadding(10);
buttonLayout.setMembersMargin(10);