[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#63676: cancelling editable dired causes UI problems with dired
From: |
Michael Heerdegen |
Subject: |
bug#63676: cancelling editable dired causes UI problems with dired |
Date: |
Sat, 27 May 2023 01:51:56 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
> I seem to be unable to reproduce this. But your recipe lack some
> details, so I'm unsure. Would you please describe exactly what to
> type after "C-c ESC" to demonstrate that some commands don't work, and
> what did you expect those command to do?
I hope we find a better solution than the one you installed:
`dired-revert' can be slow, and, more importantly, it looses information
like killed files or positions of that buffer when it is displayed in
other windows. This is the least thing that one wants to happen
automatically when using writable dired.
I try to have a look to find out why this problem happens.
Michael.
- bug#63676: cancelling editable dired causes UI problems with dired, Peter Mao, 2023/05/24
- bug#63676: cancelling editable dired causes UI problems with dired, Eli Zaretskii, 2023/05/24
- bug#63676: cancelling editable dired causes UI problems with dired, Stephen Berman, 2023/05/24
- bug#63676: cancelling editable dired causes UI problems with dired, Peter Mao, 2023/05/24
- bug#63676: cancelling editable dired causes UI problems with dired,
Michael Heerdegen <=
- bug#63676: cancelling editable dired causes UI problems with dired, Michael Heerdegen, 2023/05/26
- bug#63676: cancelling editable dired causes UI problems with dired, Eli Zaretskii, 2023/05/27
- bug#63676: cancelling editable dired causes UI problems with dired, Michael Heerdegen, 2023/05/27
- bug#63676: cancelling editable dired causes UI problems with dired, Thierry Volpiatto, 2023/05/28
- bug#63676: cancelling editable dired causes UI problems with dired, Michael Heerdegen, 2023/05/28
- bug#63676: cancelling editable dired causes UI problems with dired, Thierry Volpiatto, 2023/05/28
- bug#63676: cancelling editable dired causes UI problems with dired, Drew Adams, 2023/05/28
- bug#63676: cancelling editable dired causes UI problems with dired, Thierry Volpiatto, 2023/05/28