diff options
| author | Jules Aguillon | 2023-01-15 19:37:03 +0100 |
|---|---|---|
| committer | Jules Aguillon | 2023-01-15 19:37:03 +0100 |
| commit | 046416389af577844665ddca30adad3798a74e29 (patch) | |
| tree | 730cf744eea74e1f618f11c7fcec33c782c0bad4 /srcs/juloo.keyboard2/KeyEventHandler.java | |
| parent | fd0f0d54766de6c5621e5a09e192f75f3c05782c (diff) | |
| download | unexpected-keyboard-046416389af577844665ddca30adad3798a74e29.tar.gz unexpected-keyboard-046416389af577844665ddca30adad3798a74e29.zip | |
Present the "keyboard height" option similarly to the margin options
Diffstat (limited to 'srcs/juloo.keyboard2/KeyEventHandler.java')
0 files changed, 0 insertions, 0 deletions