avail/avail.anvil.views

Package avail.anvil.views

Types

class CreateRootView( val projectDirectory: String, val onCreate: (AvailProjectRoot) -> Unit, val onCancel: () -> Unit) : JFrame

The JFrame used to create a new root.

PhraseViewPanel

class PhraseViewPanel(val workbench: AvailWorkbench, onClose: () -> Unit) : WorkbenchFrame

The panel for examining a module's phrase structures.

StructureViewPanel

class StructureViewPanel(val workbench: AvailWorkbench, onClose: () -> Unit) : WorkbenchFrame

The panel for a module's structure view that lists the top level ModuleManifestEntrys.