void (Map<String, String> options) { String o = options.get(BACKGROUND_VISIBLE_OPTION); if (o != null) { backgroundVisible = Boolean.parseBoolean(o); } o = options.get(GRID_VISIBLE_OPTION); if (o != null) { gridVisible = Boolean.parseBoolean(o); } o = options.get(ZOOM_FACTOR_OPTION); if (o != null) { zoomFactor = Double.parseDouble(o); } o = options.get(ZOOM_FACTOR_CHANGED_OPTION); if (o != null) { zoomFactorChanged = Boolean.parseBoolean(o); } }