diff options
| author | obscuren <geffobscura@gmail.com> | 2014-09-19 19:33:15 +0800 |
|---|---|---|
| committer | obscuren <geffobscura@gmail.com> | 2014-09-19 19:34:37 +0800 |
| commit | ae1de6593c31fbaa4429588cea2702dd5b01a722 (patch) | |
| tree | d19c960d08524f0c5449ba87ab7ef4054b782b32 /mist/assets/muted/index.html | |
| parent | 723074e71bbe1638a5cec9b996b1eed07a76fd72 (diff) | |
| download | go-tangerine-ae1de6593c31fbaa4429588cea2702dd5b01a722.tar go-tangerine-ae1de6593c31fbaa4429588cea2702dd5b01a722.tar.gz go-tangerine-ae1de6593c31fbaa4429588cea2702dd5b01a722.tar.bz2 go-tangerine-ae1de6593c31fbaa4429588cea2702dd5b01a722.tar.lz go-tangerine-ae1de6593c31fbaa4429588cea2702dd5b01a722.tar.xz go-tangerine-ae1de6593c31fbaa4429588cea2702dd5b01a722.tar.zst go-tangerine-ae1de6593c31fbaa4429588cea2702dd5b01a722.zip | |
renamed
Diffstat (limited to 'mist/assets/muted/index.html')
| -rw-r--r-- | mist/assets/muted/index.html | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/mist/assets/muted/index.html b/mist/assets/muted/index.html new file mode 100644 index 000000000..14949b5ac --- /dev/null +++ b/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> |