Re: show-enclosing-scopes

[Eli Zaretskii]

> From: Jefferson Carpenter <address@hidden>
> Date: Fri, 18 May 2018 01:16:32 +0000
> 
> 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.

FYI: Overlay strings at beginning of window have "issues" with
scrolling, see bug#31276.  Caveat emptor!