public final class AdvancedPreference extends DefaultTabPreferenceSetting
Modifier and Type | Class and Description |
---|---|
static class |
AdvancedPreference.Factory
Factory used to create a new
AdvancedPreference . |
private class |
AdvancedPreference.ImportProfileAction |
Modifier and Type | Field and Description |
---|---|
private java.util.List<PrefEntry> |
allData |
private java.util.Comparator<PrefEntry> |
customComparator |
private java.util.List<PrefEntry> |
displayData |
private java.util.Map<java.lang.String,java.lang.String> |
profileTypes |
private PreferencesTable |
table |
private JosmTextField |
txtFilter |
Modifier | Constructor and Description |
---|---|
private |
AdvancedPreference() |
Modifier and Type | Method and Description |
---|---|
void |
addGui(PreferenceTabbedPane gui)
Add the GUI elements to the dialog.
|
private void |
applyFilter() |
private static java.io.File[] |
askUserForCustomSettingsFiles(boolean saveFileFlag,
java.lang.String title) |
private javax.swing.JPopupMenu |
buildPopupMenu() |
private void |
exportSelectedToXML() |
java.lang.String |
getHelpContext()
Returns the help context for this preferences settings tab.
|
private javax.swing.JMenu |
getProfileMenu() |
boolean |
isExpert()
Called to know if the preferences tab has only to be displayed in expert mode.
|
boolean |
ok()
Called when OK is pressed to save the setting in the preferences file.
|
private java.util.List<PrefEntry> |
prepareData(java.util.Map<java.lang.String,Setting<?>> loaded,
java.util.Map<java.lang.String,Setting<?>> orig,
java.util.Map<java.lang.String,Setting<?>> defaults) |
private void |
readPreferences(Preferences tmpPrefs) |
private void |
readPreferencesFromXML() |
addSubTab, addSubTab, createPreferenceTabWithScrollPane, getDescription, getIconName, getSubTab, getTabPane, getTitle, getTooltip, registerSubTab, selectSubTab
saveBoolean, saveDouble, saveInt
private final java.util.List<PrefEntry> displayData
private JosmTextField txtFilter
private PreferencesTable table
private final java.util.Map<java.lang.String,java.lang.String> profileTypes
private final java.util.Comparator<PrefEntry> customComparator
private AdvancedPreference()
public boolean isExpert()
PreferenceSetting
isExpert
in interface PreferenceSetting
isExpert
in class DefaultPreferenceSetting
public void addGui(PreferenceTabbedPane gui)
PreferenceSetting
gui
- the preferences tab paneprivate void readPreferences(Preferences tmpPrefs)
private static java.io.File[] askUserForCustomSettingsFiles(boolean saveFileFlag, java.lang.String title)
private void exportSelectedToXML()
private void readPreferencesFromXML()
private java.util.List<PrefEntry> prepareData(java.util.Map<java.lang.String,Setting<?>> loaded, java.util.Map<java.lang.String,Setting<?>> orig, java.util.Map<java.lang.String,Setting<?>> defaults)
private javax.swing.JPopupMenu buildPopupMenu()
private javax.swing.JMenu getProfileMenu()
private void applyFilter()
public boolean ok()
PreferenceSetting
true
if restart is requiredpublic java.lang.String getHelpContext()
TabPreferenceSetting
getHelpContext
in interface TabPreferenceSetting
getHelpContext
in class DefaultTabPreferenceSetting