Subject: bug#25380: 25.1; save-window-excursion problem in batch mode

From: martin rudalics <[email-masked]>
Date: Tue, 10 Jan 2017 09:22:13 +0100

> Yes, but in a batch session 1 pixel = 1 character (it's not a GUI
 > session), right?

Right.

 >> That's obvious.  But how do I find out where that menubar line gets set?
 >
 > I will see what I can do about that.

Could this be related to the bug#18136, bug#18196 woes?

martin