[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Undo mode
From: |
Stefan Kangas |
Subject: |
Re: Undo mode |
Date: |
Sat, 22 Jan 2022 09:51:34 +0000 |
Gregory Heytings <gregory@heytings.org> writes:
> Which is why I suggested to remove the possibility of enabling it from the
> menu. See the attached patch (again).
If it is already relegated to second-class citizenship and not a default
feature, I don't understand why it belongs in the default menu at all.
The menu entry could be made visible only if the minor mode is enabled.
- Re: Undo mode, (continued)
- Re: Undo mode, Eli Zaretskii, 2022/01/21
- Re: Undo mode, Gregory Heytings, 2022/01/21
- Re: Undo mode, Eli Zaretskii, 2022/01/21
- Re: Undo mode, Gregory Heytings, 2022/01/21
- Re: Undo mode, Po Lu, 2022/01/21
- Re: Undo mode, Eli Zaretskii, 2022/01/22
- Re: Undo mode, Gregory Heytings, 2022/01/22
- Re: Undo mode, Eli Zaretskii, 2022/01/22
- Re: Undo mode, Gregory Heytings, 2022/01/22
- Re: Undo mode, Po Lu, 2022/01/22
- Re: Undo mode,
Stefan Kangas <=
- Re: Undo mode, Po Lu, 2022/01/22
- Re: Undo mode, Eli Zaretskii, 2022/01/22
- Re: Undo mode, Gregory Heytings, 2022/01/22
- Re: Undo mode, Eli Zaretskii, 2022/01/22
- Re: Undo mode, Gregory Heytings, 2022/01/22
Re: Undo mode, Eli Zaretskii, 2022/01/21
Re: Undo mode, Yuri Khan, 2022/01/21