Package avail.anvil.settings

Types

class EditShortcutDialog( settingsView: SettingsView, parent: ShortcutsPanel, shortcut: KeyboardShortcut) : JFrame

A dialog that permits the changing of the key mappings of a KeyboardShortcut.

class GlobalSettingsSelection(settingsView: SettingsView, workbench: AvailWorkbench) : SettingPanelSelection

The SettingPanelSelection used for accessing global settings from the AvailHome directory.

data class KeyboardShortcutOverride( val category: KeyboardShortcutCategory, var key: Key, val actionMapKey: String) : BaseKeyboardShortcut, JSONFriendly

A user-defined override for a BaseKeyboardShortcut.

SettingPanelSelection

abstract class SettingPanelSelection(labelText: String, settingsView: SettingsView) : JPanel

A JPanel that represents a settings category.

Settings

sealed class Settings : JSONFriendly

The abstract parent type of all user-editable Anvil settings.

SettingsCategory

enum SettingsCategory : Enum<SettingsCategory>

The different settings categories that can be changed.

SettingsType

sealed class SettingsType<Type : Settings>

Describes the type of a Settings.

SettingsView

class SettingsView( globalSettings: GlobalEnvironmentSettings, parent: JFrame, latestVersion: String = "", onUpdate: (Set<SettingsCategory>) -> Unit = {}) : JDialog

A JFrame that displays configurable global settings.

ShortcutSettings

data class ShortcutSettings(val keyboardShortcutOverrides: MutableMap<String, KeyboardShortcutOverride> = mutableMapOf()) : Settings

The Settings for KeyboardShortcuts.

ShortcutsPanel

class ShortcutsPanel(category: KeyboardShortcutCategory, settingsView: SettingsView) : JPanel

A JPanel that displays all the shortcuts.

ShortcutsSelection

class ShortcutsSelection(settingsView: SettingsView) : SettingPanelSelection

The SettingPanelSelection used for showing the shortcut settings.

StandardLibrariesSelection

class StandardLibrariesSelection(settingsView: SettingsView) : SettingPanelSelection

The SettingPanelSelection used for showing other settings.

TemplateEditPanel

class TemplateEditPanel(val parentPanel: TemplatesPanel, initialTemplateRow: TemplateRow) : JPanel

A JPanel that displays all the templates for a specific AvailProjectRoot.

TemplateExpansionsManager

class TemplateExpansionsManager(val workbench: AvailWorkbench) : JFrame

The JFrame that presents the different template expansions.

TemplateRow

class TemplateRow( var templateKey: String, val expansion: TemplateExpansion, val templateGroup: TemplateGroup, val workbench: AvailWorkbench, val parentPanel: TemplatesPanel, val saveAction: () -> Unit) : JPanel

The JPanel that displays a template.

TemplatesPanel

open class TemplatesPanel( val workbench: AvailWorkbench, val templateGroup: TemplateGroup, val saveAction: () -> Unit) : JPanel

A JPanel that displays all the project-level templates for an AvailProject.