From fa5db149c8364fd06f51ad6461ff5ef45a7e5d59 Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Thu, 17 Jan 2019 14:14:00 +0100
Subject: [PATCH] NoteEditor: Increase padding

It feels much better typing when there is more free space, but this
might just be only on my mobile which is kinda big. How do I choose this
value in a screen independent manner?
---
 lib/note_editor.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/note_editor.dart b/lib/note_editor.dart
index 3bd5c83a..c723f3b0 100644
--- a/lib/note_editor.dart
+++ b/lib/note_editor.dart
@@ -70,7 +70,7 @@ class NoteEditorState extends State<NoteEditor> {
         title: new Text(title),
       ),
       body: Padding(
-        padding: const EdgeInsets.all(8.0),
+        padding: const EdgeInsets.all(16.0),
         child: SingleChildScrollView(
           child: Column(
             children: <Widget>[