restoreWorkspace

Replays a previously-captured PersistedWorkspace as workspace/page actions against controller - every document, each with its query, query history, and resolution/Solutions-tree history. Applying the workspace's look-and-feel, window bounds, and each page's own editor zoom level (where the frontend has any of those) is frontend-specific and left to the caller; this function only touches the toolkit-neutral GuiController state.