|
From: | Jefferson Carpenter |
Subject: | Re: show-enclosing-scopes |
Date: | Fri, 18 May 2018 01:16:32 +0000 |
User-agent: | Mozilla/5.0 (Windows NT 6.2; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 |
On 5/18/2018 1:13 AM, Jefferson Carpenter wrote:
However, I'll probably actually change it to use either overlays or header-line-format
Definitely overlays, since header-line-format might already be used for something else.
[Prev in Thread] | Current Thread | [Next in Thread] |