[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#32777: 27.0.50; window-buffer gets wrong point
From: |
martin rudalics |
Subject: |
bug#32777: 27.0.50; window-buffer gets wrong point |
Date: |
Fri, 21 Dec 2018 10:15:28 +0100 |
> If the underlying problem can't be fixed, then maybe at least fix
> this particular case like Federico proposed?
I would like to hear Eli's opinion first. Eli can you please have a
look at
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=32777#26
and tell us whether my analysis there is correct? If so, do you have
any ideas how to proceed?
Thanks, martin