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

Package-level declarations

Types

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.

Toolkit-specific renderer for a semantic extension feature.

An immutable, by-FeatureId lookup over renderers; construction fails fast if two share a FeatureId.