From e4555d2dce231ad6924482dd8d74f8f34221f992 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Mon, 7 Apr 2014 12:42:02 +0000
Subject: [PATCH] fix in the keyboard

---
 .../ui/android/TranslatorInputMethodService.java                | 2 ++
 1 file changed, 2 insertions(+)

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 &&