Mercurial Hosting > luan
changeset 1293:007ceb8dcf89
minor
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sun, 06 Jan 2019 14:09:24 -0700 |
parents | a6892dcf5659 |
children | 2555154ad19f |
files | src/luan/modules/http/tools/Run.luan src/luan/modules/http/tools/Shell.luan website/src/fschmidt/stopwatch.html |
diffstat | 3 files changed, 8 insertions(+), 21 deletions(-) [+] |
line wrap: on
line diff
diff -r a6892dcf5659 -r 007ceb8dcf89 src/luan/modules/http/tools/Run.luan --- a/src/luan/modules/http/tools/Run.luan Thu Jan 03 15:01:36 2019 -0700 +++ b/src/luan/modules/http/tools/Run.luan Sun Jan 06 14:09:24 2019 -0700 @@ -34,18 +34,11 @@ <title>Run Luan Code</title> <style> body { - font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; + font-family: sans-serif; text-align: center; - margin-top: 1em; - } - h2 { - margin-bottom: .3em; - font-weight: normal; } textarea { font: inherit; - border-radius: 4px; - padding: .5em .8em; } input[type="submit"] { margin-top: .3em; @@ -55,9 +48,7 @@ font: inherit; padding: .5em; border-radius: 4px; - } - input[type="submit"]:hover { - background: #236aa7 !important; + cursor: pointer; } </style> </head> @@ -66,7 +57,7 @@ <form method="post"> <input type="hidden" name="content_type" value="text/plain; charset=utf-8" /> <div> - <textarea name="code" rows="20" cols="90" wrap="off" autofocus></textarea> + <textarea name="code" rows="20" cols="90" autofocus></textarea> </div> <div> <input type="submit" value="Execute Luan Code"/> @@ -91,16 +82,16 @@ function() local run = load(code,"<web_run>") run() - end; + end catch = function(e) Http.response.reset() Http.response.headers["content-type"] = "text/plain; charset=utf-8" Io.stdout = Http.response.text_writer() print(e) - print"" - print"" + print() + print() print_with_line_numbers(code) - end; + end } end
diff -r a6892dcf5659 -r 007ceb8dcf89 src/luan/modules/http/tools/Shell.luan --- a/src/luan/modules/http/tools/Shell.luan Thu Jan 03 15:01:36 2019 -0700 +++ b/src/luan/modules/http/tools/Shell.luan Sun Jan 06 14:09:24 2019 -0700 @@ -1,6 +1,5 @@ local Luan = require "luan:Luan.luan" local error = Luan.error -local ipairs = Luan.ipairs or error() local load = Luan.load or error() local to_string = Luan.to_string or error() local try = Luan.try or error() @@ -103,7 +102,7 @@ <title>Luan Shell</title> <style> body { - font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; + font-family: sans-serif; margin: 2em 5% 0 5%; } pre {
diff -r a6892dcf5659 -r 007ceb8dcf89 website/src/fschmidt/stopwatch.html --- a/website/src/fschmidt/stopwatch.html Thu Jan 03 15:01:36 2019 -0700 +++ b/website/src/fschmidt/stopwatch.html Sun Jan 06 14:09:24 2019 -0700 @@ -12,9 +12,6 @@ border-radius: 6px; display: none; } - button:focus { - outline: inherit; - } </style> <script>