JV <[email protected]> writes:

> By adding font lock keywords for headline and plain list indicators
> (e.g. stars, dashes, numbering) and indentation whitespace, we could
> significantly improve variable pitch display in org-indent-mode.
>
> org-indent-mode's alignment approach expects certain text elements to be
> fixed pitch. When the 'default face is variable pitch, alignment can be
> made to work perfectly well -- provided the structurally significant
> elements at the beginning of lines are fontified as fixed pitch. This is
> simple in principle; but some such syntax currently lacks font lock
> keywords. In particular, the following are not presently given an
> identifying face:
>
> 1. headline indicators (stars followed by space)

There is a keyword for that. The face is determined by `org-get-level-face'.

> 2. plain list item indicators (ordered or unordered marker followed by
>     a space)

We have
;; Checkboxes
`(,org-list-full-item-re 3 'org-checkbox prepend lax)

Adding a face for bullet is trivial if desired.

> 3. spaces at beginning of line

Not sure why that would be needed.

> The first two of these would allow headline/list indicators to be
> fontified additionally from their respective headline/list text.

There is something that does almost what you want: org-level-color-stars-only

> Might it be reasonable to add faces and font lock keywords for these?
>
> Having faces for headline and plain list indicators seems like a
> generally useful addition even aside from the variable pitch use case.

I do not mind merging a patch that add extra faces for stars/item bullets.

-- 
Ihor Radchenko // yantar92,
Org mode maintainer,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>

Reply via email to