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

RequestOpenDocument

data object RequestOpenDocument : WorkspaceAction

Asks the hosting platform to show an "open file" picker (see GuiEffect.PickOpenDocument).