diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-07-03 13:42:26 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-07-03 13:42:26 +0000 |
| commit | 272a8487f8981d5dcbc8c83ac4cc819c2f0f7c9f (patch) | |
| tree | a6258336ee70511651b6a270ebe92fe63ceb5528 /src/ui/android/res/layout | |
| parent | e0fa95425697685401ebe9c088feb667ebd7a1fe (diff) | |
scroll bars for the ParseTreeView
Diffstat (limited to 'src/ui/android/res/layout')
| -rw-r--r-- | src/ui/android/res/layout/alternative_item.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui/android/res/layout/alternative_item.xml b/src/ui/android/res/layout/alternative_item.xml index 40106c989..d88384bba 100644 --- a/src/ui/android/res/layout/alternative_item.xml +++ b/src/ui/android/res/layout/alternative_item.xml @@ -21,7 +21,7 @@ <org.grammaticalframework.ui.android.ParseTreeView android:id="@+id/desc_details" - android:layout_width="wrap_content" + android:layout_width="match_parent" android:layout_height="wrap_content" android:layout_below="@id/alternative_desc" android:textSize="25sp" |