diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-03-23 10:04:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-23 10:04:05 +0100 |
commit | b5af63fc8c9691490f566c9c02d9a4a2174a9e3f (patch) | |
tree | 758f7571667bd6098df11c377712c846e8e94193 /scene/gui/line_edit.h | |
parent | f672fd768623f2a819593080eab16a0cbbe4f05c (diff) | |
parent | f5147befb68cc2a021034a55ad64a4e1fae4bba2 (diff) |
Merge pull request #17679 from ivodopiviz/external-editor-switch
Prevented external editor from running multiple times
Diffstat (limited to 'scene/gui/line_edit.h')
0 files changed, 0 insertions, 0 deletions