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

isScratch

val isScratch: Boolean

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

Generated by Dokka
© 2026 Copyright