Pinned workspaces

[maria-komarova]

Pinned workspaces is a new feature meant as an alternative to the fixed (or static) workspaces. The functionality in essence is very similar. The main difference is that workspaces are pinned in the window and workspaces overview instead of one using "Add workspace" button after switching to fixed workspaces in Settings. Having pinned workspace should allow us to avoid having a separate mode in the implementation.

• Pin button is in the right bottom corner of each workspace thumbnail (preview) in the workspace picker and shows on hover (it should be visible in default state on touch devices). Once that button is clicked, it is toggled on.
• The workspaces that are pinned are not removed even when empty unlike other dynamic workspaces.
• There is always an unpinned empty dynamic workspace at the end.

Mockup - Workspace 1 is pinned, Workspace 3 is hovered.

If the window (Text Editor) on workspace 2 is closed on the mockup below, then one navigates away, workspace 2 is deleted because it is unpinned and therefore works as a dynamic workspace.

Figma prototype:

• Open overview with the mouse
• Pin workspace 1 and workspace 3
• Close Text Editor on workspace 2 from inside the overview
• Navigate to workspace 1 or 3 from workspace 2
• Close Files browser on workspace 1
• Navigate away from workspace 1.

Figma mockups.