switch_to_session


Description:

public async void switch_to_session (SessionBase session) throws Error

Switches to a new session, deactivating the current one and activating the new one.

When switching to EmptySession, preserves model and tool states from the previous session. Loads the session if needed (e.g., for SessionPlaceholder).

Parameters:

session

The session to switch to

Exceptions:

Error

if loading fails