Uses of Class
grammarscope.browser.Settings

Packages that use Settings

Package	Description
grammarscope.browser
grammarscope.browser.dialog

Uses of Settings in grammarscope.browser

Fields in grammarscope.browser declared as Settings

Modifier and Type	Field and Description
private Settings	Browser.settings Settings

Methods in grammarscope.browser that return Settings

Modifier and Type	Method and Description
static Settings	Settings.fromProperties(java.util.Properties properties) Make settings from properties
(package private) abstract Settings	ControlDocumentView.getSettings()
(package private) abstract Settings	Modeling.getSettings()
(package private) Settings	Browser.getSettings()
private static Settings	ControlDocumentView.makeSettings(Settings settings, java.lang.String[] args) Make settings allowing for overrides on command line
static Settings	Browser.makeSettings(java.lang.String persistFile, java.lang.String[] args) Obtain settings

Methods in grammarscope.browser with parameters of type Settings

Modifier and Type	Method and Description
private void	Browser.applyClientSettings(Settings settings) Apply client settings
private void	Browser.applySettings(Settings settings) Apply settings
void	View.applySettings(Settings settings) Apply settings
static java.util.Properties	Browser.makeClientProperties(Settings settings, java.lang.String[] args) Make client properties from settings and command-line arguments
private static Settings	ControlDocumentView.makeSettings(Settings settings, java.lang.String[] args) Make settings allowing for overrides on command line

Uses of Settings in grammarscope.browser.dialog

Fields in grammarscope.browser.dialog declared as Settings

Modifier and Type	Field and Description
private Settings	ServerSettingsDialog.settings Settings
private Settings	SettingsDialog.settings Settings

Constructors in grammarscope.browser.dialog with parameters of type Settings

Constructor and Description
ServerSettingsDialog(Settings settings, java.awt.Frame owner) Constructor
SettingsDialog(Settings settings, java.awt.Frame owner) Constructor