capturePersistedWorkspace
fun capturePersistedWorkspace(state: GuiState, fontSize: Int, windowBounds: Rectangle?, pageFontSizes: Map<PageId, Int> = emptyMap()): PersistedWorkspace
ide-swing-specific wrapper around the shared capturePersistedWorkspace, adding window bounds and the active look-and-feel - the two pieces of workspace state only a windowed Swing frontend has.