diff options
Diffstat (limited to 'src/ui/android/res/values')
| -rw-r--r-- | src/ui/android/res/values/dimens.xml | 3 | ||||
| -rw-r--r-- | src/ui/android/res/values/strings.xml | 11 |
2 files changed, 14 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> diff --git a/src/ui/android/res/values/strings.xml b/src/ui/android/res/values/strings.xml index 57e20027d..e7c4e560f 100644 --- a/src/ui/android/res/values/strings.xml +++ b/src/ui/android/res/values/strings.xml @@ -9,4 +9,15 @@ <string name="mic_input">Speech Input</string> <string name="keyboard_input">Keyboard Input</string> <string name="global_preferences_key">org.grammaticalframework.ui.android.GLOBAL_PREFERENCES</string> + + <!-- Labels on soft keys --> + <string name="label_done_key">Done</string> + <string name="label_go_key">Go</string> + <string name="label_next_key">Next</string> + <string name="label_previous_key">Previous</string> + <string name="label_send_key">Send</string> + + <!-- Labels for subtype --> + <string name="normalKeyboardMode">normalKeyboardMode</string> + <string name="internalKeyboardMode">internalKeyboardMode</string> </resources> |