diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-07 18:32:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-07 18:32:54 +0100 |
| commit | 2d3fcd0ff0022a0fc36cf201d6628618507d5309 (patch) | |
| tree | b281e56e5def583fe8670d39090cd69d7312af7d /platform | |
| parent | 6a40b6767a2c2ba0e249e34270d9604c65a54075 (diff) | |
| parent | 0024dd7bb5a8a5194ed0283fc506edcd8b4a7737 (diff) | |
Merge pull request #30721 from NilsIrl/tab_key
Allow tab key to be used for shortcuts
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions