diff options
Diffstat (limited to 'src/ui/android')
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/Translator.java | 6 |
1 files changed, 3 insertions, 3 deletions
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 648d17733..0ddc4df8e 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -240,9 +240,9 @@ public class Translator { } private static String implode(String s) { - return s.replaceAll("\\s",""); - } - + return s.replaceAll("(?<!^[%*+])\\s",""); + } + private String translateWord(String input) { String output = input.toUpperCase() ; // if all else fails, return the word itself in upper case ///in brackets |