gui/it.unibo.tuprolog.ui.gui.controller/GuiEffect/ConfirmCloseDirtyPage

ConfirmCloseDirtyPage

data class ConfirmCloseDirtyPage(val id: EffectId, val pageId: PageId, val documentId: DocumentId, val displayName: String) : GuiEffect

Ask the user how to handle closing a dirty page (save/discard/cancel).

Constructors

ConfirmCloseDirtyPage

constructor(id: EffectId, pageId: PageId, documentId: DocumentId, displayName: String)

Properties

val displayName: String

val documentId: DocumentId

open override val id: EffectId

Uniquely identifies this effect instance.

val pageId: PageId