From 0bc612f3f53b467fbf7cb769f600393f4c4329aa Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 3 Dec 2015 09:03:59 +0000 Subject: [PATCH] fix in the app --- .../src/org/grammaticalframework/ui/android/Translator.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java index 620d42350..c21978802 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -527,7 +527,11 @@ public class Translator { ""; return html; } else if (def != null) { - return targetLang.linearize(def); + String html = + "" + + targetLang.linearize(def) + + ""; + return html; } else { return null; }