diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-21 11:31:29 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-21 11:31:29 +0100 |
commit | cbcb77096bc8b4b455bbcc9bf227996dbc367ba3 (patch) | |
tree | dc68edd984908caf57d2b9e9c0c177dbeeb19a69 /editor/editor_folding.h | |
parent | c02572d3d05fc59f20252bc77c1b8b002540f156 (diff) | |
parent | e01452adb0ac51bbbb0304773b1efd28ca1a3f2d (diff) |
Merge pull request #71730 from reduz/fix-altgr-stuck
Fix AltGR getting stuck on Windows right Alt-Tab
Diffstat (limited to 'editor/editor_folding.h')
0 files changed, 0 insertions, 0 deletions