rescaleOption(options, SPACE_AROUND_KEY, DEFAULT_SPACE_AROUND); rescaleOption(options, MAX_DISPLACEMENT_KEY, DEFAULT_MAX_DISPLACEMENT); rescaleOption(options, MIN_GROUP_DISTANCE_KEY, DEFAULT_MIN_GROUP_DISTANCE); rescaleOption(options, LABEL_REPEAT_KEY, DEFAULT_LABEL_REPEAT); rescaleOption(options, AUTO_WRAP_KEY, DEFAULT_AUTO_WRAP); rescaleArrayOption(options, GRAPHIC_MARGIN_KEY, 0); } finally {
@Override protected void rescaleOption(Map<String, String> options, String key, int defaultValue) { if (rescaling) { super.rescaleOption(options, key, defaultValue); } else { if (options.get(key) == null && defaultValue != 0) { options.put(key, String.valueOf(defaultValue)); } } }
@Override protected void rescaleOption(Map<String, String> options, String key, double defaultValue) { if (rescaling) { super.rescaleOption(options, key, defaultValue); } else { if (options.get(key) == null && defaultValue != 0) { options.put(key, String.valueOf(defaultValue)); } } }
rescaleOption(options, SPACE_AROUND_KEY, DEFAULT_SPACE_AROUND); rescaleOption(options, MAX_DISPLACEMENT_KEY, DEFAULT_MAX_DISPLACEMENT); rescaleOption(options, MIN_GROUP_DISTANCE_KEY, DEFAULT_MIN_GROUP_DISTANCE); rescaleOption(options, LABEL_REPEAT_KEY, DEFAULT_LABEL_REPEAT); rescaleOption(options, AUTO_WRAP_KEY, DEFAULT_AUTO_WRAP); rescaleArrayOption(options, GRAPHIC_MARGIN_KEY, 0);