org.jhotdraw8.draw.DrawingEditorPreferencesHandler Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of org.jhotdraw8.draw Show documentation
JHotDraw8 Drawing Framework
The newest version!
/*
 * @(#)DrawingEditorPreferencesHandler.java
 * Copyright © 2023 The authors and contributors of JHotDraw. MIT License.
 */

package org.jhotdraw8.draw;

import javafx.beans.property.Property;
import javafx.beans.value.ChangeListener;
import org.jhotdraw8.draw.css.value.CssColor;

import java.util.prefs.Preferences;

/**
 * Handles preferences for a drawing editor.
 */
public class DrawingEditorPreferencesHandler {
    private static final String DRAWING_EDITOR = "DrawingEditor.";
    private final DrawingEditor editor;
    private final Preferences prefs;
    private final String prefix;

    /**
     * Creates a new handler for the specified editor. All preferences
     * have the prefix {@value #DRAWING_EDITOR}.
     *
     * @param editor the editor
     * @param prefs  the preferences
     */
    public DrawingEditorPreferencesHandler(DrawingEditor editor, Preferences prefs) {
        this(editor, prefs, DRAWING_EDITOR);
    }

    /**
     * Creates a new handler for the specified editor. All preferences
     * have the specified prefix.
     *
     * @param editor the editor
     * @param prefs  the preferences
     * @param prefix the prefix
     */
    public DrawingEditorPreferencesHandler(DrawingEditor editor, Preferences prefs, String prefix) {
        this.editor = editor;
        this.prefs = prefs;
        this.prefix = prefix;

        readPreferences();

        final ChangeListener doublePropertyListener = (o, oldv, newv) -> prefs.putDouble(prefix + ((Property) o).getName(), newv.doubleValue());
        final ChangeListener colorPropertyListener = (o, oldv, newv) -> prefs.put(prefix + ((Property) o).getName(), newv.getName());
        editor.handleSizeProperty().addListener(doublePropertyListener);
        editor.handleStrokeWidthProperty().addListener(doublePropertyListener);
        editor.toleranceProperty().addListener(doublePropertyListener);
        editor.handleColorProperty().addListener(colorPropertyListener);
    }

    private void readPreferences() {
        editor.setHandleSize(prefs.getDouble(prefix + DrawingEditor.HANDLE_SIZE_PROPERTY, editor.getHandleSize()));
        editor.setTolerance(prefs.getDouble(prefix + DrawingEditor.TOLERANCE_PROPERTY, editor.getTolerance()));
        editor.setHandleStrokeWidth(prefs.getDouble(prefix + DrawingEditor.HANDLE_STROKE_WDITH_PROPERTY, editor.getHandleStrokeWidth()));
        editor.setHandleColor(CssColor.valueOf(prefs.get(prefix + DrawingEditor.HANDLE_COLOR_PROPERTY, editor.getHandleColor().getName())));

    }
}