Skip to main content

Workspaces API

The <Workspaces> component is used in the User Preferences Menu.

The "Workspaces" section of the User Preferences Menu presents the user with controls for renaming, deleting, and exporting their workspaces, as well as selecting the default workspace to launch on startup.

The <Workspaces> component is passed in as a section to the <UserPreferences>.

Props​

<Workspaces> accepts no props.

Usage​

Here's how the <Workspaces> component is used in the default User Preferences Menu:

const sections = {
    General: General,
    Workspaces: Workspaces,
};

ReactDOM.render(
    <FinsembleProvider>
        <UserPreferences sections={sections} />
    </FinsembleProvider>,
    document.getElementById("UserPreferences-tsx")
);