gui/it.unibo.tuprolog.ui.gui.controller/WorkspaceAction/OpenDocumentLoaded

OpenDocumentLoaded

data class OpenDocumentLoaded(val origin: DocumentOrigin, val text: String, val pending: Boolean = false) : WorkspaceAction

A document was read from an external source and should become a new page.

Constructors

OpenDocumentLoaded

constructor(origin: DocumentOrigin, text: String, pending: Boolean = false)

Properties

val origin: DocumentOrigin

val pending: Boolean

Whether text already diverges from what origin holds on disk, e.g. when restoring unsaved edits.

val text: String