public class WorkbenchMapsetSettingsEditor extends AbstractWorkbenchMapsetSettingsEditor
actionBureau, file, gui, mapset, mapsetSettings, name, settingsStore, workbench| Constructor and Description |
|---|
WorkbenchMapsetSettingsEditor() |
| Modifier and Type | Method and Description |
|---|---|
void |
edit(java.awt.Container parent)
Creates a
MapsetSettingsForm for the display and editing of mapset settings. |
SettingsGui |
getSettingsGui()
Marker method used to require implementing classes to have a SettingsGui field
|
doAction, doAction, getFile, getGui, getName, getSettings, getSettingsStore, getWorkbench, initializeEditor, load, reloadFromStore, save, saveToStore, setFile, setLine, setWorkbenchpublic void edit(java.awt.Container parent)
MapsetSettingsForm for the display and editing of mapset settings.parent - parent windowSettingsEditor.edit(java.awt.Container)public SettingsGui getSettingsGui()
SettingsEditorSettingsGuiSettingsEditor.getSettingsGui()