Module recent 

The documents to offer reopening, most recent first.

Two functions rather than a list type, because the two shells hold the list in the two spellings their hosts remember a document by — a path in the eframe storage DB, a DocumentRef in localStorage — and what they must agree on is the policy: newest first, mentioned once, and short.

Constants

REMEMBERED

How many are kept. A short list is the point: the menu is a shortcut, not a history.

Functions

forget

Drop named — what opening a document that is gone or unreadable does, so a dead entry is offered once and not twice.

remember

Put named at the front, where reopening it moves it back to.