ide-swing/it.unibo.tuprolog.ui.swing.feature/SwingFeatureContext

SwingFeatureContext

data class SwingFeatureContext(val controller: GuiController, val scope: CoroutineScope)

Services exposed to a toolkit-specific feature renderer without leaking them into the common extension API.

Constructors

SwingFeatureContext

constructor(controller: GuiController, scope: CoroutineScope)

Properties

val controller: GuiController

val scope: CoroutineScope

Functions

fun dispatch(action: GuiAction)