diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-11-26 17:28:33 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-26 17:28:33 +0100 |
commit | a92e885e55bd7cc3139eefe573a30a0ace2493ef (patch) | |
tree | ea91cfe55dada0ce5a5b0bb148114dbdaab7b125 /.gitattributes | |
parent | 24c38628b52e92555d89398df241b72691772170 (diff) | |
parent | 78b9b7c42b8cb61a5dc303ef9803b2e2973ccc4f (diff) |
Merge pull request #23992 from YeldhamDev/editor_help_scroll_value
Restore previous scroll position when reopening the search help dialog with a old search
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions