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

SaveCancelled

data class SaveCancelled(val documentId: DocumentId) : DocumentAction

The user backed out of a save-destination picker; the document stays dirty.

Constructors

Link copied to clipboard
constructor(documentId: DocumentId)

Properties

Link copied to clipboard
open override val documentId: DocumentId

The document this action applies to.

Generated by Dokka
© 2026 Copyright