gui/it.unibo.tuprolog.ui.gui.controller/PageAction/ChangeQuery

ChangeQuery

data class ChangeQuery(val pageId: PageId, val query: String) : PageAction

Edits the page's current query text.

Constructors

Link copied to clipboard
constructor(pageId: PageId, query: String)

Properties

Link copied to clipboard
open override val pageId: PageId

The page this action applies to.

Link copied to clipboard
val query: String
Generated by Dokka
© 2026 Copyright