avail/avail.anvil.window/WorkbenchScreenState

WorkbenchScreenState

class WorkbenchScreenState(var workbenchLayoutConfig: String = "", var structureViewLayoutConfig: String = "", var phraseViewLayoutConfig: String = "") : JSONFriendly

The local AvailProject screen state that tracks the state of the open windows on the local machine. This is used to save open window positioning between project startups.

Author

Richard Arriaga

Constructors

WorkbenchScreenState

constructor(workbenchLayoutConfig: String = "", structureViewLayoutConfig: String = "", phraseViewLayoutConfig: String = "")

Types

object Companion

Properties

val fileContent: String

The file contents to write to the

jsonFormattedString

open val jsonFormattedString: String

jsonPrettyPrintedFormattedString

open val jsonPrettyPrintedFormattedString: String

val openEditors: MutableMap<ModuleName, AvailEditorLayoutConfiguration>

The map from ModuleName to AvailEditorLayoutConfiguration for the open AvailEditors.

phraseViewLayoutConfig

var phraseViewLayoutConfig: String

The LayoutConfiguration.stringToStore for the PhraseView or an empty string if not open.

structureViewLayoutConfig

var structureViewLayoutConfig: String

The LayoutConfiguration.stringToStore for the StructureView or an empty string if not open.

workbenchLayoutConfig

var workbenchLayoutConfig: String

The AvailWorkbenchLayoutConfiguration.stringToStore

Functions

refreshOpenEditors

fun refreshOpenEditors(workbench: AvailWorkbench)

Refresh openEditors from the given AvailWorkbench.

open override fun writeTo(writer: JSONWriter)