From 4eca639212e44ec7b42e4f2503d6308a3c7ff588 Mon Sep 17 00:00:00 2001
From: Leonid Plyushch <leonid.plyushch@gmail.com>
Date: Tue, 31 Jul 2018 16:53:23 +0300
Subject: [PATCH] add some padding for TerminalView

Should fix https://github.com/termux/termux-app/issues/516
---
 app/src/main/res/layout/drawer_layout.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/app/src/main/res/layout/drawer_layout.xml b/app/src/main/res/layout/drawer_layout.xml
index 93af5972..d0771f1f 100644
--- a/app/src/main/res/layout/drawer_layout.xml
+++ b/app/src/main/res/layout/drawer_layout.xml
@@ -15,6 +15,8 @@
             android:id="@+id/terminal_view"
             android:layout_width="match_parent"
             android:layout_height="match_parent"
+            android:layout_marginRight="5dp"
+            android:layout_marginLeft="5dp"
             android:focusableInTouchMode="true"
             android:scrollbarThumbVertical="@drawable/terminal_scroll_shape"
             android:scrollbars="vertical" />