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/values/styles.xml | |
| parent | e0fa95425697685401ebe9c088feb667ebd7a1fe (diff) | |
scroll bars for the ParseTreeView
Diffstat (limited to 'src/ui/android/res/values/styles.xml')
| -rw-r--r-- | src/ui/android/res/values/styles.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/ui/android/res/values/styles.xml b/src/ui/android/res/values/styles.xml index 6ce89c7ba..c839d30a9 100644 --- a/src/ui/android/res/values/styles.xml +++ b/src/ui/android/res/values/styles.xml @@ -15,6 +15,10 @@ <!-- Application theme. --> <style name="AppTheme" parent="AppBaseTheme"> <!-- All customizations that are NOT specific to a particular API-level can go here. --> + <item name="parseTreeViewStyle">@style/ParseTreeViewStyle</item> + </style> + + <style name="ParseTreeViewStyle"> + <item name="android:scrollbars">horizontal</item> </style> - </resources> |