001// License: GPL. For details, see LICENSE file. 002package org.openstreetmap.josm.gui.preferences; 003 004/** 005 * Preference settings, that do *not* display a top level tab. 006 * 007 * This preference setting's addGui method is called after the user clicked the parent tab 008 * (returned by getTabPreferenceSetting). 009 */ 010public interface SubPreferenceSetting extends PreferenceSetting { 011 012 /** 013 * Returns the preference setting (displayed in the specified preferences tab pane) that contains this preference setting. 014 */ 015 public TabPreferenceSetting getTabPreferenceSetting(final PreferenceTabbedPane gui); 016}