gui/it.unibo.tuprolog.ui.gui.persistence/PersistedWorkspace

PersistedWorkspace

@Serializable

data class PersistedWorkspace(val fontSize: Int = 14, val windowWidth: Int? = null, val windowHeight: Int? = null, val windowX: Int? = null, val windowY: Int? = null, val selectedIndex: Int = -1, val documents: List<PersistedDocument> = emptyList(), val lookAndFeel: String? = null)

The whole persisted application state - shared shape and capture/restore logic every frontend (ide-swing, ide-web, ...) can build on, regardless of how each actually stores it (a file, localStorage, ...).

Constructors

PersistedWorkspace

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)