diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-23 13:09:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-23 13:09:59 +0200 |
| commit | ba7fdcfd02e9812169718b1147af87b631327885 (patch) | |
| tree | 2897764581f47a72b64959ca82eceadf30333706 /platform/javascript/os_javascript.h | |
| parent | 50ab88bf15ad93676262cf31ee05bb815f5a6a8e (diff) | |
| parent | 39061340035e94a2fb43273ca32601c7c8a811b6 (diff) | |
Merge pull request #9762 from Paulb23/_scipt_close_tab_selection_issue_8400
Fixed script tab selection on file close, issue 8400
Diffstat (limited to 'platform/javascript/os_javascript.h')
0 files changed, 0 insertions, 0 deletions