gui/it.unibo.tuprolog.ui.gui.controller/DocumentAction/ReloadSucceeded

ReloadSucceeded

data class ReloadSucceeded(val documentId: DocumentId, val text: String) : DocumentAction

The document was re-read from its origin; text replaces its in-memory content.

Constructors

Link copied to clipboard
constructor(documentId: DocumentId, text: String)

Properties

Link copied to clipboard
open override val documentId: DocumentId

The document this action applies to.

Link copied to clipboard
val text: String
Generated by Dokka
© 2026 Copyright