[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25380: 25.1; save-window-excursion problem in batch mode
From: |
martin rudalics |
Subject: |
bug#25380: 25.1; save-window-excursion problem in batch mode |
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
- bug#25380: 25.1; save-window-excursion problem in batch mode, Philipp Stephani, 2017/01/06
- bug#25380: 25.1; save-window-excursion problem in batch mode, Glenn Morris, 2017/01/08
- bug#25380: 25.1; save-window-excursion problem in batch mode, Philipp Stephani, 2017/01/08
- bug#25380: 25.1; save-window-excursion problem in batch mode, martin rudalics, 2017/01/09
- bug#25380: 25.1; save-window-excursion problem in batch mode, Eli Zaretskii, 2017/01/09
- bug#25380: 25.1; save-window-excursion problem in batch mode, martin rudalics, 2017/01/09
- bug#25380: 25.1; save-window-excursion problem in batch mode, Eli Zaretskii, 2017/01/09
- bug#25380: 25.1; save-window-excursion problem in batch mode,
martin rudalics <=
- bug#25380: 25.1; save-window-excursion problem in batch mode, Eli Zaretskii, 2017/01/10
- bug#25380: 25.1; save-window-excursion problem in batch mode, martin rudalics, 2017/01/10
- bug#25380: 25.1; save-window-excursion problem in batch mode, Eli Zaretskii, 2017/01/10