[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective
From: |
Eli Zaretskii |
Subject: |
bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective |
Date: |
Sat, 12 Oct 2019 20:53:09 +0300 |
> Date: Sat, 12 Oct 2019 20:17:02 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 37700@debbugs.gnu.org, tkk@misasa.okayama-u.ac.jp,
> homeros.misasa@gmail.com
>
> perhaps have a list of commands for which an immediate 'undo' will
> disregard an active region.
Or maybe have those commands have an 'undo' property which would tell
'undo' to treat them specially. Like we do with delete-selection.
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, (continued)
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Eli Zaretskii, 2019/10/11
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, martin rudalics, 2019/10/11
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Eli Zaretskii, 2019/10/11
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Tak Kunihiro, 2019/10/11
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, martin rudalics, 2019/10/12
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Mattias Engdegård, 2019/10/12
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Eli Zaretskii, 2019/10/12
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective,
Eli Zaretskii <=
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Mattias Engdegård, 2019/10/16
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Eli Zaretskii, 2019/10/26
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Stefan Monnier, 2019/10/28
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Mattias Engdegård, 2019/10/30
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Stefan Monnier, 2019/10/30
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Mattias Engdegård, 2019/10/31
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Eli Zaretskii, 2019/10/31
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Mattias Engdegård, 2019/10/31
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Eli Zaretskii, 2019/10/31
- bug#37700: 27.0.50; undo mouse-drag-and-drop-region ineffective, Mattias Engdegård, 2019/10/31