diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-11-05 22:10:24 +0100 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-11-05 22:19:03 +0100 |
| commit | f3b490134e511730d0d9f1c1ab78d57b4de11006 (patch) | |
| tree | 8bdc883b81ace092b0ebc631c9255b573dd93d43 /makeinclude.in | |
| parent | 1f5472a7d37af7909c1daa37bb5aee7296df170a (diff) | |
Fixes text input widget undo propagation.
If not handled, undo propagates to other random widgets,
and if none takes it, it is resent as a redo to all widgets.
Diffstat (limited to 'makeinclude.in')
0 files changed, 0 insertions, 0 deletions