diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-16 09:25:39 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-16 09:25:39 +0100 |
commit | f639f5096e23e74a1ed88f095d18db99a29ba463 (patch) | |
tree | 41ce70b00b502ca973b49e91d73991030a621618 /editor/editor_file_system.h | |
parent | 517b7fc46801a0189baac5b5548cb99f5b344c19 (diff) | |
parent | 0dc1bcb0c98f9b6a6a99bbf28206160bed031c8a (diff) |
Merge pull request #71485 from adamscott/history-local
Save history when goto script line in the text editor
Diffstat (limited to 'editor/editor_file_system.h')
0 files changed, 0 insertions, 0 deletions