avail/avail.anvil/AvailWorkbench/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun launchWorkbench(    project: AvailProject = AvailProjectV1( "--No Project--", true, AvailRepositories(rootNameInJar = null)),     availProjectFilePath: String = "",     initial: String = "",     customWindowTitle: String = "",     useProjectNameAsFullTitle: Boolean)
Content copied to clipboard

Launch the Avail builderUI.

Link copied to clipboard
@JvmStatic
fun launchWorkbenchWithProject(    project: AvailProject,     customWindowTitle: String = "",     availProjectFilePath: String = "",     useProjectNameAsFullTitle: Boolean = true)
Content copied to clipboard
@JvmStatic
fun launchWorkbenchWithProject(    project: AvailProject,     globalAvailConfiguration: GlobalAvailConfiguration,     availProjectFilePath: String = "",     customWindowTitle: String = "",     useProjectNameAsFullTitle: Boolean = false)
Content copied to clipboard

Launch the Avail builderUI.

Properties

Link copied to clipboard
const val DARK_MODE_KEY: String
Content copied to clipboard

The key for the dark mode System.setProperty.

Link copied to clipboard
val darkMode: Boolean
Content copied to clipboard

An indicator of whether to show the user interface in dark (Darcula) mode.

Link copied to clipboard
val inputBackgroundWhenRunning: AdaptiveColor
Content copied to clipboard

The background color of the input field when a command is running.

Link copied to clipboard
val inputForegroundWhenRunning: AdaptiveColor
Content copied to clipboard

The foreground color of the input field when a command is running.

Link copied to clipboard
val menuShiftShortcutMask: Int
Content copied to clipboard

The numeric mask for the modifier key suitable for the current platform while the SHIFT key is pressed.

Link copied to clipboard
val menuShortcutMask: Int
Content copied to clipboard

The numeric mask for the modifier key suitable for the current platform.

Link copied to clipboard
val showDeveloperTools: Boolean
Content copied to clipboard

Determine at startup whether we should show developer commands.