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

DocumentSaveFailed

data class DocumentSaveFailed(val documentId: DocumentId, val message: String) : GuiEvent

Persisting a document failed with message.

Constructors

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

Properties

Link copied to clipboard
Link copied to clipboard
Generated by Dokka
© 2026 Copyright