SwingIdeApplication
constructor(application: GuiApplication, scope: CoroutineScope, featureRenderers: SwingFeatureRendererRegistry = SwingFeatureRendererRegistry(), templates: List<TheoryTemplate> = emptyList(), persistence: WorkspacePersistence? = null)