|
From: | martin rudalics |
Subject: | bug#27243: another case: dired-auto-revert-buffer jumps point to beginning of buffer |
Date: | Fri, 28 Jul 2017 16:14:50 +0200 |
>> Doesn't this already happen, and will continue happening after the >> proposed change? > > Yes. Here it doesn't already happen and will not continue happening after the proposed change. > I was just pointing out that it's not quite true that "anything else > would be an inconsistency". It's quite true here. martin
[Prev in Thread] | Current Thread | [Next in Thread] |