filter out the leading +/* from the parser tree

1 files changed, 12 insertions, 1 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 1815fbf54..89bf92ac6 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
@@ -147,7 +147,18 @@ public class AlternativesActivity extends ListActivity {
 		}
 
 		Object[] brackets = mTranslator.bracketedLinearize(ep.getExpr());
-		parseView.setBrackets(brackets);
+		if (brackets[0] instanceof Bracket) {
+			Bracket b = (Bracket) brackets[0];
+			if (b.children[0].equals("*") ||
+				b.children[0].equals("+")) {
+				Object[] children = new Object[b.children.length-1];
+				for (int i = 1; i < b.children.length; i++)
+					children[i-1] = b.children[i];
+				b = new Bracket(b.cat, b.fun, b.fid, b.lindex, children);
+				brackets[0] = b;
+			}
+		}
+		parseView.setBrackets(brackets); 
 
 		expandedView = view;
 	}