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.persistence
/
PersistedWorkspace
/
PersistedWorkspace
Persisted
Workspace
constructor
(
fontSize
:
Int
=
14
,
windowWidth
:
Int
?
=
null
,
windowHeight
:
Int
?
=
null
,
windowX
:
Int
?
=
null
,
windowY
:
Int
?
=
null
,
selectedIndex
:
Int
=
-1
,
documents
:
List
<
PersistedDocument
>
=
emptyList()
,
lookAndFeel
:
String
?
=
null
)