Module undo 

Undo for a tracker mistake: put a closed ticket back to work, and take back this seat’s own ballot or note.

Nothing is erased. A ticket that was finished by hand, by a program or by another seat can be reopened, and the reopen is a dated note beside the close it undoes. A note taken back stays on the logbook with a withdrawal under it, so a reader sees both what was said and that it was taken back.

Constants

FRESH_STATE

The state a reopen puts a ticket back to when the tracker does not say which one it held.

NOTE_WITHDRAWN

The note a withdrawn logbook note leaves.

REOPEN_NOTE

The note a reopen leaves.

Functions

already_withdrawn

Whether the logbook already took text back.

author_of

The seat a logbook entry names as its writer, from the org line the tracker kept. None when the line carries no attribution.

is_closed

Whether state is a ticket that is finished or cancelled.

machinery

Whether note is one of ljos’s own bookkeeping lines.

one_seat

Whether two names are the same seat, as the tracker spells it.

parse_withdrawn_note

The seat and the text of a withdrawal note.

pick_note

The one note on the logbook that which names, whole or in part.

prior_state

The state the ticket held before it was closed, from the newest state line that landed on closed. None when the logbook does not say.

reopen_note

reopened: SEAT from DONE.

withdraw_ballot

Take back who’s ballot on issue, and the forecast it carried. A ballot already taken back still leaves its forecast to take back, so a second withdrawal finishes the first.

withdraw_note

Take back this seat’s own note on issue, as a note beside it.

withdrawn_note

note-withdrawn: SEAT TEXT.