001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.gui.preferences;
003
004/**
005 * Factory for {@link PreferenceSetting}.
006 * @since 1742
007 */
008@FunctionalInterface
009public interface PreferenceSettingFactory {
010
011    /**
012     * Creates preference settings.
013     * @return created preference settings
014     */
015    PreferenceSetting createPreferenceSetting();
016}