diff options
| author | obscuren <geffobscura@gmail.com> | 2014-12-20 09:34:12 +0800 |
|---|---|---|
| committer | obscuren <geffobscura@gmail.com> | 2014-12-20 09:34:12 +0800 |
| commit | 3983dd2428137211f84f299f9ce8690c22f50afd (patch) | |
| tree | 3a2dc53b365e6f377fc82a3514150d1297fe549c /cmd/mist/assets/muted/index.html | |
| parent | 7daa8c2f6eb25511c6a54ad420709af911fc6748 (diff) | |
| parent | 0a9dc1536c5d776844d6947a0090ff7e1a7c6ab4 (diff) | |
| download | go-tangerine-vv0.7.10.tar go-tangerine-vv0.7.10.tar.gz go-tangerine-vv0.7.10.tar.bz2 go-tangerine-vv0.7.10.tar.lz go-tangerine-vv0.7.10.tar.xz go-tangerine-vv0.7.10.tar.zst go-tangerine-vv0.7.10.zip | |
Merge branch 'release/v0.7.10'vv0.7.10
Diffstat (limited to 'cmd/mist/assets/muted/index.html')
| -rw-r--r-- | cmd/mist/assets/muted/index.html | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/cmd/mist/assets/muted/index.html b/cmd/mist/assets/muted/index.html new file mode 100644 index 000000000..14949b5ac --- /dev/null +++ b/cmd/mist/assets/muted/index.html @@ -0,0 +1,80 @@ +<!doctype> +<html> +<head> +<title>Mutan Editor</title> +<link rel="stylesheet" href="codemirror.css"> +<link rel="stylesheet" href="eclipse.css"> +<script src="lib/codemirror.js"></script> +<script src="lib/matchbrackets.js"></script> +<script src="lib/go.js"></script> +<script src="muted.js"></script> + +<style type="text/css"> + html, body { + margin: 0; padding: 0; + min-height: 100%; + } + + #debugger { + height: 30%; + font-family: "Monaco"; + border-top: 5px solid grey; + } + #debugger .line { + overflow: none; + } + #debugger .col1, #debugger .col2 { + float: left; + padding: 3px; + } + #debugger .col1 { + width: 10px; + padding-left: 10px + -webkit-touch-callout: none; + -webkit-user-select: none; + -khtml-user-select: none; + -moz-user-select: none; + -ms-user-select: none; + user-select: none; + } + #debugger .col2 { + width: 90%; + } + .prompt { + color: "#5089D4"; + } + + .CodeMirror { + height: 70%; + font-size: 14pt; + } +</style> +</head> + +<body> +<textarea id="editor"></textarea> + +<div id="debugger"> + <div class="line"> + <div class="col1 prompt"> + > + </div> + <div class="col2" contenteditable> + </div> + </div> +</div> + +<script> + var textArea = document.querySelector("#editor") + var editor = CodeMirror.fromTextArea(textArea, { + theme: "eclipse", + mode: "text/html", + lineNumbers: true, + mode: "text/x-go", + indentUnit: 8, + tabSize: 8, + indentWithTabs: true, + }); +</script> +</body> +</html> |