struct EditorPosition

Where an editor was left: what it was scrolled to, and what was selected.

Character offsets rather than String.Index, because the point of saving this is to restore it into a different buffer state — a document swapped out and back, or a workspace reopened days later. An index into a string that no longer exists is not a position, it is a crash waiting for the wrong buffer; an offset is merely clamped.