Panel expansion
Panel expansion resizes a panel against two edges at the same time, so one drag can make a panel both wider and taller. It is a two-step gesture: a double-click arms it, a drag performs it. Nothing resizes on the double-click alone.
- Shortcut
- Double-click, then drag
- Available on
- Every panel
How to use it
- Double-click anywhere inside the panel. Not on a boundary, and not on a handle; there is no handle. Where you click matters: Mantis picks the nearer of the left and right edges, and the nearer of the top and bottom edges, and those two are what the drag will push against. The panel takes on a glow to show resize mode is armed.
- Press and hold the left mouse button, then move the pointer. The pointer is locked for the duration, so the cursor disappears and the panel follows your motion rather than an on-screen position. Moving diagonally resizes both directions at once.
- Release to finish. The glow clears and the layout keeps the new weights.
Modifier
Hold ⇧ while dragging to resize the whole row or column the panel sits in, rather than just this panel. The modifier is read live during the drag, so you can press and release it mid-gesture.
Notes
- Panels are resized by redistributing weight with their siblings, so growing one shrinks its neighbors; the total workspace does not change.
- This works on every panel in the workspace.
- Layouts are stored per browser, so an arrangement you build on one machine does not follow you to another.