[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#33458: 27.0.50; dired loses position when reverted from outside plac
From: |
martin rudalics |
Subject: |
bug#33458: 27.0.50; dired loses position when reverted from outside place |
Date: |
Tue, 27 Nov 2018 09:08:39 +0100 |
> Maybe marker-position should allow to call a function?
> For example, like 'isearch-push-state-function' remembers
> an additional state as a lambda, and when an old state is
> restored, a pop-fun lambda is called. The function that
> restores the buffer in the window could be the same.
The problem we face here is almost exclusively restricted to reverting
buffers and 'marker-position' is too heavily used as to be affected by
that. Now, if we talk about dired buffers only, they have a very
helpful restriction that invariably permeates all file systems: The
file names in a directory must be unique. So if a marker is on the
line of a file name it can quite easily return to that name after
reversal (provided the file still exists). A similar argument should
hold for non-file visiting buffers like Buffer List buffers. Finally,
in quite a number of cases 'auto-revert-tail-mode' should take care of
markers in the unchanged initial part of a file. Do we have many
other auto-reverted buffers?
martin
- bug#33458: 27.0.50; dired loses position when reverted from outside place, (continued)
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Stephen Berman, 2018/11/21
- bug#33458: 27.0.50; dired loses position when reverted from outside place, v88m, 2018/11/22
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Stephen Berman, 2018/11/22
- bug#33458: 27.0.50; dired loses position when reverted from outside place, martin rudalics, 2018/11/23
- bug#33458: 27.0.50; dired loses position when reverted from outside place, v88m, 2018/11/23
- bug#33458: 27.0.50; dired loses position when reverted from outside place, martin rudalics, 2018/11/23
- bug#33458: 27.0.50; dired loses position when reverted from outside place, v88m, 2018/11/23
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Juri Linkov, 2018/11/25
- bug#33458: 27.0.50; dired loses position when reverted from outside place, martin rudalics, 2018/11/26
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Juri Linkov, 2018/11/26
- bug#33458: 27.0.50; dired loses position when reverted from outside place,
martin rudalics <=
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Juri Linkov, 2018/11/27
- bug#33458: 27.0.50; dired loses position when reverted from outside place, martin rudalics, 2018/11/28
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Juri Linkov, 2018/11/28
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Eli Zaretskii, 2018/11/29
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Juri Linkov, 2018/11/29
- bug#33458: 27.0.50; dired loses position when reverted from outside place, v88m, 2018/11/30
- bug#33458: 27.0.50; dired loses position when reverted from outside place, martin rudalics, 2018/11/30
- bug#33458: 27.0.50; dired loses position when reverted from outside place, martin rudalics, 2018/11/29
- bug#33458: 27.0.50; dired loses position when reverted from outside place, Juri Linkov, 2018/11/29
- bug#33458: 27.0.50; dired loses position when reverted from outside place, v88m, 2018/11/30