diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-07-02 11:30:06 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-07-02 11:30:06 +0000 |
| commit | e0fa95425697685401ebe9c088feb667ebd7a1fe (patch) | |
| tree | e389a739f5d850b97b2f2f6737793b9ad251e9b6 /src/ui/android/res/layout | |
| parent | abb50f9c73ac62d5e881c1eeceeee7452159c513 (diff) | |
Visualization for parse trees on Android
Diffstat (limited to 'src/ui/android/res/layout')
| -rw-r--r-- | src/ui/android/res/layout/alternative_item.xml | 14 | ||||
| -rw-r--r-- | src/ui/android/res/layout/lexical_item.xml | 27 |
2 files changed, 35 insertions, 6 deletions
diff --git a/src/ui/android/res/layout/alternative_item.xml b/src/ui/android/res/layout/alternative_item.xml index 49f090a26..40106c989 100644 --- a/src/ui/android/res/layout/alternative_item.xml +++ b/src/ui/android/res/layout/alternative_item.xml @@ -12,16 +12,18 @@ android:paddingRight="5dp" /> <TextView - android:id="@+id/lexical_desc" + android:id="@+id/alternative_desc" android:layout_width="fill_parent" android:layout_height="wrap_content" android:layout_toRightOf="@id/arrow" android:paddingLeft="10dp" android:textSize="25sp"/> - <WebView - android:id="@+id/lexical_inflection" - android:layout_width="wrap_content" - android:layout_height="wrap_content" - android:layout_below="@id/lexical_desc"/> + <org.grammaticalframework.ui.android.ParseTreeView + android:id="@+id/desc_details" + android:layout_width="wrap_content" + android:layout_height="wrap_content" + android:layout_below="@id/alternative_desc" + android:textSize="25sp" + /> </RelativeLayout>
\ No newline at end of file diff --git a/src/ui/android/res/layout/lexical_item.xml b/src/ui/android/res/layout/lexical_item.xml new file mode 100644 index 000000000..e7f551491 --- /dev/null +++ b/src/ui/android/res/layout/lexical_item.xml @@ -0,0 +1,27 @@ +<?xml version="1.0" encoding="utf-8"?> +<RelativeLayout xmlns:android="http://schemas.android.com/apk/res/android" + android:layout_width="fill_parent" + android:layout_height="fill_parent" > + <ImageView + android:id="@+id/arrow" + android:layout_width="30dp" + android:layout_height="30dp" + android:contentDescription="@string/open_image" + android:src="@drawable/open_arrow" + android:paddingLeft="10dp" + android:paddingRight="5dp" /> + + <TextView + android:id="@+id/lexical_desc" + android:layout_width="fill_parent" + android:layout_height="wrap_content" + android:layout_toRightOf="@id/arrow" + android:paddingLeft="10dp" + android:textSize="25sp"/> + + <WebView + android:id="@+id/desc_details" + android:layout_width="wrap_content" + android:layout_height="wrap_content" + android:layout_below="@id/lexical_desc"/> +</RelativeLayout>
\ No newline at end of file |