bug-gnu-emacs
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#43927: 26.3; `Info-fontify-node': Use `header-line-highlight', not `

From: Drew Adams
Subject: bug#43927: 26.3; `Info-fontify-node': Use `header-line-highlight', not `highlight', for `mouse-face'
Date: Tue, 13 Oct 2020 08:12:22 -0700 (PDT) 
> It does use header-line-highlight (in the header line), as far as I can
> see.

My bad. Sorry for the noise. Closing.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]