Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
PR as per #744
This particular implementation increases default label size by 15%, while existing user set preferences remain unaffected. However, upon testing various default values (1.4, 1.3, 1.25, 1.2, 1.15, 1.1) against different keyboard heights (ranging 27%-35% for portrait mode), I came to the conclusion this might not be the right approach to resolve the issue raised there.
Why? Because the reason I believe we were increasing label size is because we were also reducing the height of the keyboard. With default keyboard height of 35%, label size of 1 is just fine. Only as we reduce the height, label becomes smaller and less intelligible.
However, modification to how the label size scales with regard to keyboard height would require a different approach, with more testing...