2020-08-17 17:42:23 +00:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
|
<androidx.appcompat.widget.AppCompatTextView
|
|
|
|
|
xmlns:android="http://schemas.android.com/apk/res/android"
|
|
|
|
|
android:id="@+id/gemtext_text_monospace_textview"
|
|
|
|
|
android:textSize="@dimen/code_text_size"
|
|
|
|
|
android:layout_marginLeft="@dimen/default_margin"
|
|
|
|
|
android:layout_marginRight="@dimen/default_margin"
|
|
|
|
|
android:paddingLeft="@dimen/default_margin"
|
|
|
|
|
android:paddingRight="@dimen/default_margin"
|
|
|
|
|
android:paddingTop="@dimen/default_margin"
|
|
|
|
|
android:paddingBottom="@dimen/default_margin"
|
|
|
|
|
android:fontFamily="monospace"
|
2020-09-04 10:36:48 +00:00
|
|
|
android:textColor="@color/stroke"
|
2020-08-17 18:58:02 +00:00
|
|
|
android:background="@color/code_background"
|
2020-08-18 16:17:04 +00:00
|
|
|
android:textIsSelectable="true"
|
2020-08-17 17:42:23 +00:00
|
|
|
android:layout_width="match_parent"
|
|
|
|
|
android:layout_height="wrap_content" />
|
