|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |