summaryrefslogtreecommitdiff
path: root/src/ui
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2015-12-02 21:53:41 +0000
committerkrasimir <krasimir@chalmers.se>2015-12-02 21:53:41 +0000
commitf482300fd16cda2323583adab046e21053c004eb (patch)
tree49ade0cdece32500ebe4beec9b2006a02cd7cdfd /src/ui
parent967b87d9d3eb11bcbd9f077d0dae96fb0e724f4d (diff)
bugfixes in the app
Diffstat (limited to 'src/ui')
-rw-r--r--src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java14
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>();