AboutSupportDeveloper GuideVersion 20.1.5

Type alias WorkspaceButton

WorkspaceButton: "switchWorkspace" | "home" | "notifications" | "store"

The names of the buttons for the workspace components on the Dock.

Used in WorkspaceButtonsConfig.