diff options
Diffstat (limited to 'src/ui/android/res/values/dimens.xml')
| -rw-r--r-- | src/ui/android/res/values/dimens.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ui/android/res/values/dimens.xml b/src/ui/android/res/values/dimens.xml index 55c1e5908..55088756c 100644 --- a/src/ui/android/res/values/dimens.xml +++ b/src/ui/android/res/values/dimens.xml @@ -3,5 +3,8 @@ <!-- Default screen margins, per the Android Design guidelines. --> <dimen name="activity_horizontal_margin">16dp</dimen> <dimen name="activity_vertical_margin">16dp</dimen> + <dimen name="key_height">50dip</dimen> + <dimen name="candidate_font_height">16sp</dimen> + <dimen name="candidate_vertical_padding">6sp</dimen> </resources> |