PR #3874 Fix arrows keys moving through edit history

Fix arrows keys moving through edit history #3874

dbkr merged 2 commits into develop from dbkr/fix_editor_modified_flag_2

Fix arrows keys moving through edit history

2ed5d89c

dbkr requested a review from

bwindels 6 years ago

bwindels requested changes on 2020-01-20

Set flag before mutating on cut too

277f1079

dbkr requested a review from

bwindels 6 years ago

bwindels approved these changes on 2020-01-20

dbkr merged a849826a into develop 6 years ago

Reviewers

bwindels

Assignees

No one assigned

Labels

None yet

Milestone

No milestone