Closed ajrbyers closed 3 months ago
Added to 1.6 @ajrbyers -- hope that's OK.
@ajrbyers just checking to make sure you caught my suggestion above? If you disagree that's fine but wasn't sure you saw it ;)
Woops! Looks like my push failed. I’ll fix it when back home.
Closes #198.
Removes cancelled tasks from the active typesetting list, and displays cancelled tasks and their cancellation date below.