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

PickOpenDocument

data class PickOpenDocument(val id: EffectId, val acceptedExtensions: Set<String> = setOf("pl", "2p", "txt")) : GuiEffect

Show a native "open file" picker restricted to acceptedExtensions.

Constructors

PickOpenDocument

constructor(id: EffectId, acceptedExtensions: Set<String> = setOf("pl", "2p", "txt"))

Properties

acceptedExtensions

val acceptedExtensions: Set<String>

open override val id: EffectId

Uniquely identifies this effect instance.