diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-11-23 21:59:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-23 21:59:29 +0100 |
commit | 6086252f66ac185b97b0580352383e4b068b9fe5 (patch) | |
tree | de6712f9d81f1a4ad7a579b713d4deea947425b9 /editor/editor_file_system.h | |
parent | 4feeca0021b8ef6078e91fa36f9b91365cd6e01f (diff) | |
parent | f6f475e6ba1b52baeacdaf9aa92960650a828dfc (diff) |
Merge pull request #13221 from Paulb23/fix_unfolding_last_line
Fixed not be able to unfold the last line
Diffstat (limited to 'editor/editor_file_system.h')
0 files changed, 0 insertions, 0 deletions