capturePersistedWorkspace
fun capturePersistedWorkspace(state: GuiState, fontSize: Int, pageFontSizes: Map<PageId, Int> = emptyMap(), windowWidth: Int? = null, windowHeight: Int? = null, windowX: Int? = null, windowY: Int? = null, lookAndFeel: String? = null): PersistedWorkspace
Captures the pages currently open in state as a PersistedWorkspace, ready to save - shared by every frontend (ide-swing, ide-web, ...) regardless of how it actually stores the result (a file, localStorage, ...). pageFontSizes is consulted for each page's own zoom level, where the frontend supports one, falling back to the workspace-wide fontSize when a page never had its own; windowWidth/windowHeight/windowX/ windowY/lookAndFeel are left to null by frontends with no window or look-and-feel concept (e.g. ide-web).