diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2022-12-04 13:18:42 +0100 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2022-12-10 15:40:19 +0100 |
| commit | f79580680a09ff3c56466746805bfe9262f07ba8 (patch) | |
| tree | e037ef66fbe3b7a700f9116a889f8fd58547b1a0 /src/input_handler.cc | |
| parent | a52bb9146e5673ceaf6081833cf7183fc3f7ff9d (diff) | |
Do not record selection history in draft context
Each draft context gets its own private copy of the selections.
Any selection changes will be thrown away when the draft context
is disposed. Since selection-undo is only supported as top-level
command, it can never be used inside a draft context, so let's stop
recording it.
No functional change.
Diffstat (limited to 'src/input_handler.cc')
0 files changed, 0 insertions, 0 deletions