v0.9.3 — Hide and Delete say Hide and Delete

Two buttons instead of a picker

Hide and delete lived in a single control labelled with the shelf the session sits on. The model is right — hidden and deleted are places a session sits, not acts performed on it, which is why restoring is just picking Listed again — and it was, twice running, not what anyone looks for. There are now two buttons that say Hide and Delete, flipping to Unhide and Restore, with the current shelf shown beside them when it is not the default. Still no red and no trash can: nothing here destroys anything, and the tooltip says so.

⌘X deletes

The terminal menu has used x for delete all along, and the whole premise of the shortcut layer is the same letters with ⌘. ⌘X was the one exception, on the grounds that it means Cut — in an app whose only text field is a filter. ⌘⌫ still works too.