Uses of Class
mars.settings.Settings

Packages that use Settings

Package	Description
mars
mars.venus
mars.venus.editor.jeditsyntax
mars.venus.preferences

Uses of Settings in mars

Methods in mars that return Settings

Modifier and Type	Method	Description
static Settings	Application.getSettings()

Uses of Settings in mars.venus

Methods in mars.venus that return Settings

Modifier and Type	Method	Description
Settings	VenusUI.getSettings()

Constructors in mars.venus with parameters of type Settings

Modifier	Constructor	Description
	VenusUI(Settings settings, String title)	Create a new instance of the Venus GUI and show it once it is created.

Uses of Settings in mars.venus.editor.jeditsyntax

Methods in mars.venus.editor.jeditsyntax with parameters of type Settings

Modifier and Type	Method	Description
static SyntaxStyle[]	SyntaxUtilities.getCurrentSyntaxStyles(Settings settings)	Returns the CURRENT style table.

Constructors in mars.venus.editor.jeditsyntax with parameters of type Settings

Modifier	Constructor	Description
	JEditBasedTextArea(FileEditorTab fileEditorTab, Settings settings, JComponent lineNumbers)
	JEditTextArea(Settings settings, JComponent lineNumbers)	Creates a new JEditTextArea with the default settings.
	TextAreaDefaults(Settings settings)	Constructs a new TextAreaDefaults object with the default values filled in.

Uses of Settings in mars.venus.preferences

Fields in mars.venus.preferences declared as Settings

Modifier and Type	Field	Description
protected final Settings	PreferencesTab.settings

Constructors in mars.venus.preferences with parameters of type Settings

Modifier	Constructor	Description
	AppearancePreferencesTab(Settings settings)
	EditorPreferencesTab(Settings settings)
	ExceptionPreferencesTab(Settings settings)
	GeneralPreferencesTab(Settings settings)
	MemoryPreferencesTab(Settings settings)
	PreferencesTab(Settings settings, String title)
	SimulatorPreferencesTab(Settings settings)