gui/it.unibo.tuprolog.ui.gui.controller/WorkspaceAction/NewDocumentPage

NewDocumentPage

data class NewDocumentPage(val suggestedName: String? = null, val initialText: String = "") : WorkspaceAction

Creates a new page backed by a brand-new, not-yet-saved document.

Constructors

NewDocumentPage

constructor(suggestedName: String? = null, initialText: String = "")

Properties

val initialText: String

val suggestedName: String?