|
From: | martin rudalics |
Subject: | bug#16738: Errors while resizing vertically |
Date: | Sun, 16 Feb 2014 11:32:36 +0100 |
My header-line has an overline + underline, which apparently make the face 2 pixels higher. I might also have been using non-standard size font-lock faces.
This explains it. You shouldn't see the bug with "normal" header- and mode-lines. martin
[Prev in Thread] | Current Thread | [Next in Thread] |