From 1da2653a387c79f0d32a1aca1a563924e759b6e5 Mon Sep 17 00:00:00 2001
From: Wu Cheng-Han <jacky_cute0808@hotmail.com>
Date: Fri, 25 Sep 2015 14:09:37 +0800
Subject: [PATCH] Fixed defaultTextHeight from 18 to 20

---
 public/js/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/js/index.js b/public/js/index.js
index dde36cc5e..27c2aa3fc 100644
--- a/public/js/index.js
+++ b/public/js/index.js
@@ -3,7 +3,7 @@
 var debug = false;
 var version = '0.3.2';
 
-var defaultTextHeight = 18;
+var defaultTextHeight = 20;
 var viewportMargin = 20;
 var defaultExtraKeys = {
     "Cmd-S": function () {