[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: |
Sat, 29 Dec 2018 10:59:45 +0100 |
> Unfortunately, curing it is non-trivial to avoid that some window
> point gets moved unexpectedly, see the attached patch.
I now installed on master a slightly modified version. Kindly check
whether all bugs mentioned in this thread have been fixed and report
any anomalies immediately.
Thanks, martin