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 }