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

PickSaveDestination

data class PickSaveDestination(val id: EffectId, val documentId: DocumentId, val suggestedName: String) : GuiEffect

Show a native "save as" picker for a document with no origin yet, defaulting to suggestedName.

Constructors

PickSaveDestination

constructor(id: EffectId, documentId: DocumentId, suggestedName: String)

Properties

val documentId: DocumentId

open override val id: EffectId

Uniquely identifies this effect instance.

val suggestedName: String