diff --git a/websh_front/public/index.html b/websh_front/public/index.html index 428ab56..db08b93 100644 --- a/websh_front/public/index.html +++ b/websh_front/public/index.html @@ -7,6 +7,15 @@ + + + diff --git a/websh_front/src/index.nim b/websh_front/src/index.nim index e85e8a0..c71e05f 100644 --- 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"