diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-12-08 16:17:42 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-12-08 16:17:42 +0000 |
| commit | 55e2b55e60d588174e7339f9d0ee23da3db97a3e (patch) | |
| tree | 93325b94c2bba6f28d0abb7d57485ff720e2c3d7 /src/ui/android/res | |
| parent | d4b8281226a93c3fb326b520df374f68caf14dd1 (diff) | |
restore the visualisation of abstract trees from the app
Diffstat (limited to 'src/ui/android/res')
| -rw-r--r-- | src/ui/android/res/layout/alternative_item.xml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/ui/android/res/layout/alternative_item.xml b/src/ui/android/res/layout/alternative_item.xml index d88384bba..f35d1b938 100644 --- a/src/ui/android/res/layout/alternative_item.xml +++ b/src/ui/android/res/layout/alternative_item.xml @@ -18,7 +18,7 @@ android:layout_toRightOf="@id/arrow" android:paddingLeft="10dp" android:textSize="25sp"/> - + <org.grammaticalframework.ui.android.ParseTreeView android:id="@+id/desc_details" android:layout_width="match_parent" @@ -26,4 +26,11 @@ android:layout_below="@id/alternative_desc" android:textSize="25sp" /> + + <TextView + android:id="@+id/abstract_tree" + android:layout_width="fill_parent" + android:layout_height="wrap_content" + android:layout_below="@id/desc_details" + android:textSize="15sp"/> </RelativeLayout>
\ No newline at end of file |