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 |
|---|---|
protected java.util.List<PrefEntry> |
allData |
private java.util.Comparator<PrefEntry> |
customComparator |
protected java.util.List<PrefEntry> |
displayData |
(package private) java.util.Map<java.lang.String,java.lang.String> |
profileTypes |
protected PreferencesTable |
table |
protected 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 java.io.File[] |
askUserForCustomSettingsFiles(boolean saveFileFlag,
java.lang.String title) |
private javax.swing.JPopupMenu |
buildPopupMenu() |
private void |
exportSelectedToXML() |
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,Preferences.Setting<?>> loaded,
java.util.Map<java.lang.String,Preferences.Setting<?>> orig,
java.util.Map<java.lang.String,Preferences.Setting<?>> defaults) |
private void |
readPreferences(Preferences tmpPrefs) |
private void |
readPreferencesFromXML() |
addSubTab, addSubTab, createPreferenceTabWithScrollPane, getDescription, getIconName, getSubTab, getTabPane, getTitle, getTooltip, registerSubTab, selectSubTabprotected java.util.List<PrefEntry> displayData
protected JosmTextField txtFilter
protected PreferencesTable table
private java.util.Comparator<PrefEntry> customComparator
java.util.Map<java.lang.String,java.lang.String> profileTypes
private AdvancedPreference()
public boolean isExpert()
PreferenceSettingisExpert in interface PreferenceSettingisExpert in class DefaultPreferenceSettingpublic void addGui(PreferenceTabbedPane gui)
PreferenceSettingprivate void readPreferences(Preferences tmpPrefs)
private 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,Preferences.Setting<?>> loaded, java.util.Map<java.lang.String,Preferences.Setting<?>> orig, java.util.Map<java.lang.String,Preferences.Setting<?>> defaults)
private javax.swing.JPopupMenu buildPopupMenu()
private javax.swing.JMenu getProfileMenu()
private void applyFilter()
public boolean ok()
PreferenceSetting