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

DocumentSaved

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

A document was successfully persisted 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