GlobalAvailConfiguration

Add the provided AvailProject to this GlobalAvailConfiguration as a KnownAvailProject.

Add all the defaultTemplates to the globalTemplates. This will have the effect of replacing any globalTemplates with the same template name as a default template. Otherwise, all previous globalTemplates that don't share a name with one of the defaultTemplates will remain the same.

Remove the KnownAvailProject with the given KnownAvailProject.id.

Reset the globalTemplates to the default. This clears all current globalTemplates before adding back the defaultTemplates.

Write this GlobalAvailConfiguration to disk.

The path to the default Avail standard library to be used in projects or null if none set.

The KnownAvailProject.id of the project marked to be opened automatically at launch bypassing the AvailProjectManagerWindow or null if only the AvailProjectManagerWindow should be opened.

The String contents of this GlobalAvailConfiguration that can be written to disk.

The default available templates that should be available when editing Avail source modules in the workbench, as a map from template names (corresponding to user inputs) to template expansions. Zero or one caret insertion (⁁) may appear in each expansion.

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 serialization version of this GlobalAvailConfiguration which represents the structure of the JSONFriendly-based configuration file that represents this GlobalAvailConfiguration.