On 11/21/18, Nicolas Goaziou wrote:
> It sounds useful. Patches welcome :)
great! i cannot contribute such a patch but perhaps somebody who uses
variable pitch or wants to experiment with agenda faces will be
interested.
Hello,
Samuel Wales writes:
> tldr: add faces for the header parts of agenda faces so that variable
> pitch can be used.
>
[...]
> PROPOSAL:
>
> it would excellent if we could have faces like
> org-scheduled-today-header that would apply to the header text.
> org-scheduled-today would apply to
tldr: add faces for the header parts of agenda faces so that variable
pitch can be used.
===
DISCUSSION:
in the agenda, it is desirable to use monospace fonts, so that things line up.
faces like org-scheduled-today affect the entire line.
however, monospace fonts are not needed for the text of
