Fix editor layout more cleaner

Author: golbin

view/style/editor.json

@@ -4,13 +4,13 @@
         "top": "center",
         "left": "center",
         "width": "80%",
-        "height": "80%"
+        "height": "70%"
     },
     "textarea": {
         "top": "top",
         "left": "left",
         "width": "100%",
-        "height": "100%-4",
+        "height": "100%-3",
         "border": "line",
         "mouse": true,
         "vi": true,