diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2023-02-16 20:25:21 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2023-02-16 20:26:07 +0100 |
| commit | c3365ace4fbfd7c3a9a7eff7e023c5ead182c454 (patch) | |
| tree | f44bcc22d34b484fc941c98218875c4a2e137940 /platform/android/dir_access_jandroid.h | |
| parent | 29f670b7ab28d6393b0a61d6860decc69c2dc1ec (diff) | |
Improve documentation on PopupMenu and DisplayServer accelerators
The name "accelerator" is actually misleading (at least in PopupMenu),
as these are really keyboard shortcuts and not a key you press after
pressing Alt (with the corresponding letter in the option's name
being underlined after pressing Alt).
Diffstat (limited to 'platform/android/dir_access_jandroid.h')
0 files changed, 0 insertions, 0 deletions