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

PersistedDocument

@Serializable

data class PersistedDocument(val displayName: String, val text: String, val originProviderId: String? = null, val originReference: String? = null, val dirty: Boolean = false, val isScratch: Boolean = false, val query: String = "", val queryHistory: List<String> = emptyList(), val fontSize: Int? = null, val resolutions: List<PersistedResolution> = emptyList())

One page's persisted state: the document it holds (or scratch text), its query/history, and its resolutions - everything restoreWorkspace needs to recreate the page without re-running anything.

Constructors

PersistedDocument

constructor(displayName: String, text: String, originProviderId: String? = null, originReference: String? = null, dirty: Boolean = false, isScratch: Boolean = false, query: String = "", queryHistory: List<String> = emptyList(), fontSize: Int? = null, resolutions: List<PersistedResolution> = emptyList())

Properties

dirty

val dirty: Boolean

displayName

val displayName: String

fontSize

val fontSize: Int?

This page's own editor zoom level, where the frontend supports per-page zoom; null elsewhere, or to restore it at the workspace-wide default instead.

isScratch

val isScratch: Boolean

Whether this was a page-local scratch buffer rather than a (possibly still-untitled) document.

originProviderId

val originProviderId: String?

originReference

val originReference: String?

query

val query: String

The page's last (possibly not yet solved) query text.

queryHistory

val queryHistory: List<String>