private void doResetDefaults() {
panel.remove(map);
panel.remove(controlPanel);
map = newMapWidget();
MapUIOptions options = MapUIOptions.newInstance(size);
doubleClick.setValue(options.getDoubleClick());
hybridMapType.setValue(options.getHybridMapType());
keyboard.setValue(options.getKeyboard());
largeControl3d.setValue(options.getLargeMapControl3d());
mapTypeControl.setValue(options.getMapTypeControl());
menuMapTypeControl.setValue(options.getMenuMapTypeControl());
normalMapType.setValue(options.getNormalMapType());
physicalMapType.setValue(options.getPhysicalMapType());
satelliteMapType.setValue(options.getSatelliteMapType());
scaleControl.setValue(options.getScaleControl());
scrollwheel.setValue(options.getScrollwheel());
smallZoomControl3d.setValue(options.getSmallZoomControl3d());
map.setUI(options);
panel.add(map);
panel.add(controlPanel);
}