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 /misc/scripts/make_bmfhdr.py | |
| 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 'misc/scripts/make_bmfhdr.py')
0 files changed, 0 insertions, 0 deletions