java.lang.Object
org.jhotdraw8.draw.DrawingEditorPreferencesHandler
Handles preferences for a drawing editor.
-
Constructor Summary
ConstructorsConstructorDescriptionDrawingEditorPreferencesHandler(@NonNull DrawingEditor editor, @NonNull Preferences prefs) Creates a new handler for the specified editor.DrawingEditorPreferencesHandler(@NonNull DrawingEditor editor, @NonNull Preferences prefs, @NonNull String prefix) Creates a new handler for the specified editor. -
Method Summary
-
Constructor Details
-
DrawingEditorPreferencesHandler
Creates a new handler for the specified editor. All preferences have the prefix "DrawingEditor.".- Parameters:
editor- the editorprefs- the preferences
-
DrawingEditorPreferencesHandler
public DrawingEditorPreferencesHandler(@NonNull DrawingEditor editor, @NonNull Preferences prefs, @NonNull String prefix) Creates a new handler for the specified editor. All preferences have the specified prefix.- Parameters:
editor- the editorprefs- the preferencesprefix- the prefix
-