2021-12-02 18:11:34 +00:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
<RelativeLayout
|
|
|
|
android:layout_width="fill_parent"
|
|
|
|
android:layout_height="wrap_content"
|
|
|
|
android:layout_marginLeft="@dimen/screen_margin"
|
|
|
|
android:layout_marginTop="@dimen/default_margin"
|
|
|
|
android:layout_marginRight="@dimen/screen_margin"
|
|
|
|
android:layout_marginBottom="@dimen/default_margin"
|
|
|
|
xmlns:android="http://schemas.android.com/apk/res/android"
|
|
|
|
xmlns:app="http://schemas.android.com/apk/res-auto">
|
|
|
|
|
|
|
|
<HorizontalScrollView
|
2022-01-25 22:05:14 +00:00
|
|
|
android:scrollbars="none"
|
2021-12-02 18:11:34 +00:00
|
|
|
android:background="@drawable/block_background"
|
|
|
|
android:layout_width="fill_parent"
|
|
|
|
android:layout_height="wrap_content"
|
|
|
|
android:layout_marginTop="@dimen/def_quarter"
|
2022-01-30 16:26:11 +00:00
|
|
|
android:layout_marginBottom="@dimen/def_quarter">
|
2021-12-02 18:11:34 +00:00
|
|
|
|
|
|
|
<androidx.appcompat.widget.AppCompatTextView
|
|
|
|
android:textSize="@dimen/code_text_size"
|
|
|
|
android:typeface="monospace"
|
|
|
|
android:textColor="@color/stroke"
|
|
|
|
android:id="@id/gemtext_text_monospace_textview"
|
|
|
|
android:paddingLeft="@dimen/default_margin_big"
|
|
|
|
android:paddingTop="@dimen/default_margin_big"
|
|
|
|
android:paddingRight="@dimen/default_margin_big"
|
|
|
|
android:paddingBottom="0.0dip"
|
|
|
|
android:layout_width="wrap_content"
|
|
|
|
android:layout_height="wrap_content"
|
|
|
|
android:scrollHorizontally="true"
|
|
|
|
android:isScrollContainer="true"
|
|
|
|
android:overScrollMode="ifContentScrolls"
|
|
|
|
android:textIsSelectable="true"
|
|
|
|
android:fontFamily="@font/code_font"
|
|
|
|
app:fontFamily="@font/code_font"
|
|
|
|
app:lineHeight="@dimen/code_text_size"/>
|
|
|
|
|
|
|
|
</HorizontalScrollView>
|
|
|
|
</RelativeLayout>
|