diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-08-22 12:33:35 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-08-22 12:33:35 +0000 |
| commit | a39647d7716513d30d8bcfb5579b4e04e91f056b (patch) | |
| tree | b937a372b8cfd34d7826d8d8939c454cbada7510 /src/ui/android | |
| parent | 6bde56bef77c15cec6f5030b158c940d2f99725a (diff) | |
bugfix in the android app
Diffstat (limited to 'src/ui/android')
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/ConversationView.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/ConversationView.java b/src/ui/android/src/org/grammaticalframework/ui/android/ConversationView.java index cb202725c..712418898 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/ConversationView.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/ConversationView.java @@ -131,13 +131,13 @@ public class ConversationView extends ScrollView { // parse by words, marked by %, darkest red color if (target.charAt(0) == '%') { view.setBackgroundDrawable(getResources().getDrawable(R.drawable.second_person_worst_utterance_bg)); - target = target.subSequence(2, target.length()) ; + target = target.subSequence(1, target.length()).toString().trim(); } // parse by chunks, marked by *, red color else if (target.charAt(0) == '*') { view.setBackgroundDrawable(getResources().getDrawable(R.drawable.second_person_chunk_utterance_bg)); - target = target.subSequence(2, target.length()) ; + target = target.subSequence(1, target.length()).toString().trim(); } // parse error or unknown translations (in []) present, darkest red color @@ -148,7 +148,7 @@ public class ConversationView extends ScrollView { // parse by domain grammar, marked by +, green color else if (target.charAt(0) == '+') { view.setBackgroundDrawable(getResources().getDrawable(R.drawable.second_person_best_utterance_bg)); - target = target.subSequence(2, target.length()) ; + target = target.subSequence(1, target.length()).toString().trim(); } else { |