gui/it.unibo.tuprolog.ui.gui.controller/GuiEvent/DocumentChanged

DocumentChanged

data class DocumentChanged(val documentId: DocumentId, val revision: Long) : GuiEvent

A document's in-memory text changed, now at revision.

Constructors

Link copied to clipboard
constructor(documentId: DocumentId, revision: Long)

Properties

Link copied to clipboard
Link copied to clipboard
val revision: Long
Generated by Dokka
© 2026 Copyright