public class SettingsManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static ColorSettingsProvider |
COLOR_SETTINGS |
static ExtensionManager |
EXTENSION_MANAGER |
static ShortcutSettings |
SHORTCUT_SETTINGS |
static SettingsProvider |
SMT_SETTINGS |
static StandardUISettings |
STANDARD_UI_SETTINGS |
static TacletOptionsSettings |
TACLET_OPTIONS_SETTINGS |
Constructor and Description |
---|
SettingsManager() |
Modifier and Type | Method and Description |
---|---|
boolean |
add(SettingsProvider settingsProvider) |
javax.swing.Action |
getActionShowSettings(MainWindow window) |
static ChoiceSettings |
getChoiceSettings(MainWindow window) |
static SettingsManager |
getInstance() |
static NewSMTTranslationSettings |
getNewSmtSettings(MainWindow window) |
static ProofDependentSMTSettings |
getSmtPdSettings(MainWindow window) |
static ProofIndependentSMTSettings |
getSmtPiSettings() |
static java.util.Properties |
loadProperties(java.io.File settingsFile) |
boolean |
remove(SettingsProvider o) |
void |
showSettingsDialog(MainWindow mainWindow) |
void |
showSettingsDialog(MainWindow mainWindow,
SettingsProvider selectedPanel) |
public static final ExtensionManager EXTENSION_MANAGER
public static final SettingsProvider SMT_SETTINGS
public static final TacletOptionsSettings TACLET_OPTIONS_SETTINGS
public static final ShortcutSettings SHORTCUT_SETTINGS
public static final StandardUISettings STANDARD_UI_SETTINGS
public static final ColorSettingsProvider COLOR_SETTINGS
public static SettingsManager getInstance()
public static ProofDependentSMTSettings getSmtPdSettings(MainWindow window)
public static NewSMTTranslationSettings getNewSmtSettings(MainWindow window)
public static ProofIndependentSMTSettings getSmtPiSettings()
public static ChoiceSettings getChoiceSettings(MainWindow window)
public static java.util.Properties loadProperties(java.io.File settingsFile)
public void showSettingsDialog(MainWindow mainWindow)
public void showSettingsDialog(MainWindow mainWindow, SettingsProvider selectedPanel)
public boolean add(SettingsProvider settingsProvider)
public boolean remove(SettingsProvider o)
public javax.swing.Action getActionShowSettings(MainWindow window)
Copyright © 2003-2019 The KeY-Project.