/**
 * The widest the todo progress bar draws (ReplDiffSidebar's 20).
 */
export const TODO_BAR_CELLS = 20