SettingsCategory

enum SettingsCategory : Enum<SettingsCategory>

The different settings categories that can be changed.

Author

Richard Arriaga

Entries

Link copied to clipboard

AvailEditor settings.

Link copied to clipboard

Keyboard shortcut settings.

Functions

Link copied to clipboard
abstract fun update(settings: GlobalEnvironmentSettings, workbench: AvailWorkbench)

Update the settings for the given workbench associated with this SettingsCategory.

Properties

Link copied to clipboard
val name: String
Link copied to clipboard
val ordinal: Int