diff options
| author | krasimir <krasimir@chalmers.se> | 2015-08-12 18:44:45 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-08-12 18:44:45 +0000 |
| commit | 8e39c1f622a06faae55bbd23b2dcc328cd73267b (patch) | |
| tree | dc29609bb35d702456964f2a66c7f7a6f29c3d17 /src/ui | |
| parent | 6fff2def393663522f86e13e2536a9e111e8b2cd (diff) | |
Bugfix in the android app for Chinese which was causing the first character in the translation to disappear
Diffstat (limited to 'src/ui')
| -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 |
