diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-10-31 14:16:37 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-10-31 14:16:37 +0000 |
| commit | 80143459c60ac6983fee57002223cdf63eddae2f (patch) | |
| tree | 6c81e7b2dfe149048f5414d5f1b57ed2cd4f15b6 /src/ui/android/res | |
| parent | 5e584c5c3f4059c0ee9c68c595efced28f4c0748 (diff) | |
store the source and target languages for the Android UI in a preference file
Diffstat (limited to 'src/ui/android/res')
| -rw-r--r-- | src/ui/android/res/values/strings.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/android/res/values/strings.xml b/src/ui/android/res/values/strings.xml index af659fcec..57e20027d 100644 --- a/src/ui/android/res/values/strings.xml +++ b/src/ui/android/res/values/strings.xml @@ -8,4 +8,5 @@ <string name="open_image">Opening</string> <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> </resources> |