Global
The interface that defines the state expected of the configuration for the Avail environment on a specific machine. This data is stored in the envSettingsHome directory across multiple files.
Author
Richard Arriaga
Inheritors
Properties
The desired font size for a CodePane.
The list of character positions to draw an editor guide line.
The favorite KnownAvailProject or an empty if no favorites are set.
The list of KnownAvailProject.ids of the projects marked to be opened automatically at launch bypassing the AvailProjectManager or null if only the AvailProjectManager should be opened.
The String contents of this GlobalEnvironmentSettings that can be written to disk.
The map of KeyboardShortcutOverride.actionMapKey to KeyboardShortcut that override the default key combinations for the listed KeyboardShortcuts.
The set of KnownAvailProjects.
The knownProjects sorted by KnownAvailProject.name in ascending alphabetical order.
The knownProjects sorted by KnownAvailProject.name in descending alphabetical order.
The knownProjects sorted by KnownAvailProject.lastOpened in ascending order.
The knownProjects sorted by KnownAvailProject.lastOpened in descending order.
The name of the Palette from globalStylingGroup to use for styling.
The serialization version of this GlobalEnvironmentSettings which represents the structure of the JSONFriendly-based configuration file that represents this GlobalEnvironmentSettings.
The ShortcutSettings sourced from keyboardShortcutOverrides.
The StylingSelection from the globalStylingGroup.
Functions
Add the provided AvailProject to this GlobalEnvironmentSettings as a KnownAvailProject.
Remove the KnownAvailProject with the given KnownAvailProject.id.
Reset the keyboardShortcutOverrides to the defaults. This clears all current keyboardShortcutOverrides.
Write this GlobalEnvironmentSettings to disk.