diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-21 22:47:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-21 22:47:50 +0100 |
| commit | 3068ccc8e69aad68c860ce8688bdc6d41107be1b (patch) | |
| tree | 1bb6f45df5f2110b495a75f0e9e40644a31a236f /editor/editor_about.cpp | |
| parent | d510c33cd84a8cfc190cb1dce4e19f033704650e (diff) | |
| parent | 22d87f20faffbbf5b452bc0a35cfd80aebd0f628 (diff) | |
Merge pull request #14913 from poke1024/tooltip-shortcut-names
Consistent display of shortcut names in tooltips
Diffstat (limited to 'editor/editor_about.cpp')
0 files changed, 0 insertions, 0 deletions