001    // License: GPL. Copyright 2007 by Immanuel Scholz and others
002    package 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     */
010    public 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    }