Tabs, split panes and saved workspaces

Tabs and panes#

The Workspace holds local shells, SSH terminals, remote desktops, AI agents and browser panes in one tab strip. ⌘T on macOS or Ctrl+T on Windows and Linux opens a new tab with a local terminal. Every tab can be split into nested panes with draggable dividers: use Split right and Split down in the pane header, or ⌘⇧E and ⌘⇧O on macOS or Ctrl+Shift+E and Ctrl+Shift+O on Windows and Linux. ⌘⇧Z or Ctrl+Shift+Z temporarily fills the tab with the focused pane.

Panes keep running with their scrollback when you switch to another page.

Where connections open#

Under Settings → General → Sessions → Where a connection opens you choose whether Ravelon asks each time, or always uses a new tab, a split to the right or below, or replaces the focused pane. The Connections and tools panel on the right of the Workspace also has its own choice, and you can drag hosts from it onto the Workspace.

Merge and separate tabs#

Drag a tab onto the middle of another tab to place both side by side. Rest on it for a moment and the tab opens: drop onto an edge of a pane to place the tab there, or onto its centre to arrange all panes of both tabs as a grid. Sessions keep running. Move to new tab in a pane's context menu splits it off again.

Broadcast#

In a tab with two or more terminal panes, Broadcast sends what you type to every pane of the tab. Panes show BROADCAST while it is on. Snippets and AI agent panes never receive broadcast input.

Save a workspace#

The Workspaces button in the tab strip saves the current layout with Save workspace… and lists your saved workspaces. They also appear under Saved workspaces in the Connections panel and in the command palette, and you can pin them in the sidebar. Opening a saved workspace starts fresh sessions. Browser panes are not saved.

Reopen tabs#

• ⌘⇧T or Ctrl+Shift+T reopens the last closed tab and reconnects its hosts. Ravelon remembers the last ten closed tabs while it runs.
• Settings → General → Startup → Reopen the last tabs reopens the terminal tabs of the last run on this device.

Record output#

Record output to file… in a terminal's context menu writes what the terminal shows to a file. Settings → Terminal → Record SSH sessions automatically does this for every SSH session. Typed input is not recorded, but anything the server prints is.