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}