[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Undo mode
From: |
Gregory Heytings |
Subject: |
Re: Undo mode |
Date: |
Fri, 21 Jan 2022 13:50:03 +0000 |
Going back to the original design is not changing the design, it's
restoring the menu item as it was originally meant to be. See attached
patch.
Why is it a problem to allow disabling undeletion of frames once that
was enabled?
It's not a problem at all, but it's not what the "Enable Frame Undeletion"
menu item was meant to do. It was meant to tell users that it is
necessary to add somethig their init files to enable that feature.
I attach three possible solutions, in order of personal preference:
1. The original design: the "Enable Frame Undeletion" item disappears once
it has been used, and is replaced by the "Undelete Frame" item. Users
have to use M-x undelete-frame-mode to turn that feature off, and it is
turned on only during the current session.
2. The only menu item is "Undelete Frame", but it has a "Undelete-Frame
mode is disabled" tooltip when undelete-frame-mode is off, and a "Undelete
the most recently deleted frame" tooltip when it is on.
3. The "Enable Frame Undeletion" item disappears, and a "Disable Frame
Undeletion" item is added after the "Undelete Frame" item. It uses one or
two menu items, but a least it doesn't shift the whole File menu to the
right because of a checkbox.
Fix-Undelete-Frame-menu-item-Option-1.patch
Description: Text Data
Fix-Undelete-Frame-menu-item-Option-2.patch
Description: Text Data
Fix-Undelete-Frame-menu-item-Option-3.patch
Description: Text Data
- Re: Undo mode, (continued)
- Re: Undo mode, Gregory Heytings, 2022/01/21
- Re: Undo mode, Po Lu, 2022/01/21
- Re: Undo mode, Gregory Heytings, 2022/01/21
- Re: Undo mode, Po Lu, 2022/01/21
- Re: Undo mode, Gregory Heytings, 2022/01/21
- Re: Undo mode, Po Lu, 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/21
- Re: Undo mode, Eli Zaretskii, 2022/01/21
- Re: Undo mode,
Gregory Heytings <=
- 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