diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-04-07 12:42:02 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-04-07 12:42:02 +0000 |
| commit | 317d32aa93e43f6844b49720b605206a2545bdbf (patch) | |
| tree | 493c758b3349a5236fccd4ad80110ef251165b58 /src/ui | |
| parent | 3ff555738995d2c8f7cbc0fbdd600757518df6cb (diff) | |
fix in the keyboard
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java index a15d030a2..6b01ef67c 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/TranslatorInputMethodService.java @@ -375,6 +375,8 @@ public class TranslatorInputMethodService extends InputMethodService handleChangeSourceLanguage(newSource); } else if (primaryCode == TranslatorKeyboard.KEYCODE_TARGET_LANGUAGE) { String translation = mTranslator.translate(getComposingString()).first; + if (translation.startsWith("% ") || translation.startsWith("* ") || translation.startsWith("+ ")) + translation = translation.substring(2); getCurrentInputConnection().commitText(translation, 1); return; } else if (primaryCode < TranslatorKeyboard.KEYCODE_TARGET_LANGUAGE && |