SwingIdeApplication
class SwingIdeApplication(application: GuiApplication, scope: CoroutineScope, featureRenderers: SwingFeatureRendererRegistry = SwingFeatureRendererRegistry(), templates: List<TheoryTemplate> = emptyList(), persistence: WorkspacePersistence? = null)
Owns the Swing frame, state/effect subscriptions, and frontend lifecycle.
Constructors
Link copied to clipboard
constructor(application: GuiApplication, scope: CoroutineScope, featureRenderers: SwingFeatureRendererRegistry = SwingFeatureRendererRegistry(), templates: List<TheoryTemplate> = emptyList(), persistence: WorkspacePersistence? = null)