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

ReloadDecisionProvided

data class ReloadDecisionProvided(val documentId: DocumentId, val decision: ReloadDecision) : DocumentAction

The user resolved a reload-with-dirty-changes prompt.

Constructors

Link copied to clipboard
constructor(documentId: DocumentId, decision: ReloadDecision)

Properties

Link copied to clipboard
Link copied to clipboard
open override val documentId: DocumentId

The document this action applies to.

Generated by Dokka
© 2026 Copyright