public interface WorkbenchSettingsEditor extends WorkbenchFileEditor, SettingsEditor
WorkbenchFileEditor with a SettingsEditor
getFile, setFile, setLinedoAction, doAction, getGui, getName, getWorkbench, load, save, setWorkbenchedit, getSettings, getSettingsGui, getSettingsStore, reloadFromStore, saveToStore