Uses of Class
mars.settings.Settings
Packages that use Settings
-
Uses of Settings in mars
-
Uses of Settings in mars.venus
Methods in mars.venus that return SettingsConstructors in mars.venus with parameters of type Settings -
Uses of Settings in mars.venus.editor.jeditsyntax
Methods in mars.venus.editor.jeditsyntax with parameters of type SettingsModifier and TypeMethodDescriptionstatic SyntaxStyle[]SyntaxUtilities.getCurrentSyntaxStyles(Settings settings) Returns the CURRENT style table.Constructors in mars.venus.editor.jeditsyntax with parameters of type SettingsModifierConstructorDescriptionJEditBasedTextArea(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 SettingsConstructors in mars.venus.preferences with parameters of type SettingsModifierConstructorDescriptionAppearancePreferencesTab(Settings settings) AssemblerPreferencesTab(Settings settings) EditorPreferencesTab(Settings settings) ExceptionPreferencesTab(Settings settings) GeneralPreferencesTab(Settings settings) MemoryPreferencesTab(Settings settings) PreferencesTab(Settings settings, String title) SimulatorPreferencesTab(Settings settings)