documentation
Toggle table of contents
3.0.5
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
gui
/
it.unibo.tuprolog.ui.gui.controller
/
GuiEffect
/
ExitApplication
Exit
Application
data
class
ExitApplication
(
val
id
:
EffectId
)
:
GuiEffect
Actually terminate the application/close its window.
Members
Constructors
Exit
Application
Link copied to clipboard
constructor
(
id
:
EffectId
)
Properties
id
Link copied to clipboard
open
override
val
id
:
EffectId
Uniquely identifies this effect instance.