diff options
| author | Paul Batty <Paulb23@users.noreply.github.com> | 2016-04-06 07:36:29 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-04-06 08:36:29 +0200 |
| commit | 646e0897829d7baf4b982c59d4bddade85199665 (patch) | |
| tree | bb5f0c13904dd378c6db41ee2bfe976ffaa7010b /tools/editor/editor_settings.h | |
| parent | f303e3483d2a160a9841a3b50f21b86a62a7b4ec (diff) | |
Fixed text edit undo and redo operation interaction
Diffstat (limited to 'tools/editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions