gui/it.unibo.tuprolog.ui.gui.controller/PageAction/ChangeScratchText

ChangeScratchText

data class ChangeScratchText(val pageId: PageId, val text: String) : PageAction

Edits a scratch page's in-memory text (does nothing for a document-backed page).

Constructors

ChangeScratchText

constructor(pageId: PageId, text: String)

Properties

open override val pageId: PageId

The page this action applies to.

val text: String