diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-08-15 23:16:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-15 23:16:19 +0200 |
commit | 1c17c2b9b39d9c6e7440d25251ac8b1a1fede5bb (patch) | |
tree | fad544468c060e750dd62adaafe62378d1e96e64 /editor/dictionary_property_edit.cpp | |
parent | bec8c7770cb63b6f33dc42e0da77aafd594fbcbe (diff) | |
parent | 81bf150cdc2bd58f07a0420fb47aa2956037ae4d (diff) |
Merge pull request #21023 from Paulb23/fix_reopening_text_file
Fix re-opening of TextFiles when its already being edited.
Diffstat (limited to 'editor/dictionary_property_edit.cpp')
0 files changed, 0 insertions, 0 deletions