Subject: bug#25246: 25.1.90; Buffer not responsible with overlay at buffer end.

From: [email-masked]
Date: Fri, 23 Dec 2016 08:53:53 -0500

"Stefan-W. Hahn" <[email-masked]> writes:
>
> That is no problem, because the overlay moves if compilation proceeds and
> the compilation buffer gets more content.

By the way, I wonder if your use case might be better served by setting
`header-line-format'.