Merge pull request #131 from jiro4989/develop

UI改善
jiro4989 · Feb 3, 2020 · de19e3e · de19e3e
2 parents 3f96ade + 94a9d3b
commit de19e3e
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/websh_front/public/index.html b/websh_front/public/index.html
@@ -7,6 +7,15 @@
   <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/bulma/0.8.0/css/bulma.min.css">
 
   <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
+
+  <style>
+  textarea {
+    font-family: Consolas, 'Courier New', Courier, Monaco, monospace;
+    font-size: 14px;
+    line-height: 1.2;
+  }
+  </style>
+
 </head>
 
 <body id="body" class="grey darken-4">

diff --git a/websh_front/src/index.nim b/websh_front/src/index.nim
@@ -152,7 +152,7 @@ proc createDom(): VNode =
                   text &"{countWord($outputStdout)} chars, "
                   text &"""{$($outputStdout).split("\n").len} lines"""
                 tdiv:
-                  textarea(class = "textarea is-success", rows = "8"):
+                  textarea(class = "textarea is-success", rows = "8", readonly="readonly"):
                     text outputStdout
             article(class = "tile is-child notification"):
               p(class = "title"): text "stderr"
@@ -161,7 +161,7 @@ proc createDom(): VNode =
                   text &"{countWord($outputStderr)} chars, "
                   text &"""{$($outputStderr).split("\n").len} lines"""
                 tdiv:
-                  textarea(class = "textarea is-warning", rows = "4"):
+                  textarea(class = "textarea is-warning", rows = "4", readonly="readonly"):
                     text outputStderr
             article(class = "tile is-child notification"):
               p(class = "title"): text "images"