diff options
| author | krasimir <krasimir@chalmers.se> | 2015-12-02 21:53:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-12-02 21:53:41 +0000 |
| commit | f482300fd16cda2323583adab046e21053c004eb (patch) | |
| tree | 49ade0cdece32500ebe4beec9b2006a02cd7cdfd /src | |
| parent | 967b87d9d3eb11bcbd9f077d0dae96fb0e724f4d (diff) | |
bugfixes in the app
Diffstat (limited to 'src')
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java b/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java index 8027441b0..963f24556 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java @@ -491,16 +491,22 @@ public class AlternativesActivity extends ListActivity { } void filterOnTopics(List<Topic> selected_topics) { - if (mSourceTopic != null && !selected_topics.contains(mSourceTopic)) - mAlternatives = null; + if (mSourceTopic != null && !selected_topics.contains(mSourceTopic)) { + mAlternatives = null; + mOriginalAlternatives = null; + mTopics = null; + mAllTopics = mOriginalAllTopics; + } if (mAlternatives == null) { - if (selected_topics.size() == 0) + if (selected_topics.size() == 0) { + notifyDataSetChanged(); return; + } mSourceTopic = selected_topics.get(0); mAlternatives = mTranslator.getTopicWords(mSourceTopic.expr); - + mTopics = new ArrayList<List<Topic>>(); for (Expr e : mAlternatives) { List<Topic> topics = new ArrayList<Topic>(); |
