[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: master ed2b0bd: New faces in xref (bug#23179)

From: Eli Zaretskii
Subject: Re: master ed2b0bd: New faces in xref (bug#23179)
Date: Tue, 16 Apr 2019 18:07:40 +0300

> From: Robert Pluim <address@hidden>
> Cc: address@hidden
> Date: Tue, 16 Apr 2019 16:02:36 +0200
> address@hidden compilation mode faces
> address@hidden compilation mode appearance
> address@hidden compilation-error-face
> address@hidden compilation-error
> address@hidden compilation-warning-face
> address@hidden compilation-warning

It is generally not useful to have several index entries which start
with the same text and point to the same place.  So I would leave the
odd-numbered entries above and delete the even-numbered.

> +  The appearance of the @file{*compilation*} buffer can be controlled
> +by customizing the faces which are used to highlight parts of the
> address@hidden buffer, e.g. @code{compilation-error} or

Either "e.g.,", or "e.g.@:", so that TeX doesn't by chance consider
this end of sentence.

Otherwise LGTM, thanks.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]