diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-13 17:05:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-13 17:05:46 +0100 |
| commit | 69452fbc3754ed517280a674aa61b36de31cac7f (patch) | |
| tree | 003547976c256bc3815c119b79bf799b021180a3 /core/pool_allocator.h | |
| parent | 63e980f746d69bb1cd9b1712ec75b416e48b518d (diff) | |
| parent | 8ae0624c808ee48c37a09f66a4ed98dd0ae6d972 (diff) | |
Merge pull request #15657 from paulloz/fix-textedit-undo-redo-selection
TextEdit: Fix selection issue with undo/redo
Diffstat (limited to 'core/pool_allocator.h')
0 files changed, 0 insertions, 0 deletions