gui/it.unibo.tuprolog.ui.gui.controller/WorkspaceAction/ClosePageDecisionProvided

ClosePageDecisionProvided

data class ClosePageDecisionProvided(val pageId: PageId, val decision: CloseDecision) : WorkspaceAction

The user resolved a close-dirty-page prompt.

Constructors

Link copied to clipboard
constructor(pageId: PageId, decision: CloseDecision)

Properties

Link copied to clipboard
Link copied to clipboard
val pageId: PageId
Generated by Dokka
© 2026 Copyright