[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#63676: cancelling editable dired causes UI problems with dired
From: |
Eli Zaretskii |
Subject: |
bug#63676: cancelling editable dired causes UI problems with dired |
Date: |
Sat, 27 May 2023 09:26:24 +0300 |
> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: Peter Mao <peter.mao@gmail.com>, 63676@debbugs.gnu.org
> Date: Sat, 27 May 2023 04:39:33 +0200
>
> Michael Heerdegen <michael_heerdegen@web.de> writes:
>
> > Currently aborting is more invasive than actually making changes.
>
> Sorry again, not true - obviously I have redefined more stuff in my
> config than I had remembered.
>
> So, personally I try to avoid to revert in all wdired commands,
> because reverting is slow for large buffers and loses information. Is
> there interest to get rid of reverting? dired and wdired have all the
> tools to avoid it.
As I said: the speed of aborting is not really important, IMO. If
reverting loses information, we should restore it after reverting.
- 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, 2023/05/26
- 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
- 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
- bug#63676: cancelling editable dired causes UI problems with dired, Drew Adams, 2023/05/29