Re: [O] [PATCH] Nicer fontification for org-todo-list

[Ingo Lohmar]

Apart from a spurious "to" in my explanation, I should clarify:

This is a patch to "org-todo-list" in org-agenda.el.