diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-11-04 15:22:30 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-11-04 15:23:28 +0100 |
| commit | b14e39179231ddf98a64dbb82cd49da44468c50f (patch) | |
| tree | 816ea29d72d37fdb42d36592009b5c4cbfafe523 /platform/javascript/logo.png | |
| parent | 86da206b84e107585deddfebc2c311c9dcc10795 (diff) | |
Fix key names being wrongly capitalized in the input map editor
This also fixes the prompt in the editor shortcuts dialog
while removing duplicated code.
This closes #33305.
Diffstat (limited to 'platform/javascript/logo.png')
0 files changed, 0 insertions, 0 deletions