adjust line height, make it could customizable

conf/wide.go

@@ -65,6 +65,7 @@ type User struct {
 type Editor struct {
 	FontFamily string
 	FontSize   string
+	LineHeight string
 }
 
 // Configuration.

conf/wide.json

@@ -23,7 +23,8 @@
             "FontSize": "13px",
             "Editor": {
                 "FontFamily": "Consolas, 'Courier New', monospace",
-                "FontSize": "inherit"
+                "FontSize": "13px",
+                "LineHeight": "19px"
             },
             "LatestSessionContent": {
                 "FileTree": [],

static/js/editors.js

@@ -614,6 +614,7 @@ var editors = {
             theme: 'wide',
             indentUnit: 4,
             foldGutter: true,
+            cursorHeight: 1,
             path: data.path,
             extraKeys: {
                 "Ctrl-\\": "autocompleteAnyWord",

static/user/admin/style.css

@@ -9,5 +9,6 @@ button {
 .CodeMirror,
 .CodeMirror-hints {
     font-family: Consolas, 'Courier New', monospace;
-    font-size: inherit;
+    font-size: 13px;
+    line-height: 19px;
 }

static/user/style.css.tmpl

@@ -10,4 +10,5 @@ button {
 .CodeMirror-hints {
     font-family: {{.user.Editor.FontFamily}};
     font-size: {{.user.Editor.FontSize}};
+    line-height: {{.user.Editor.LineHeight}};
 }