diff options
| author | obscuren <geffobscura@gmail.com> | 2014-07-01 19:45:39 +0800 |
|---|---|---|
| committer | obscuren <geffobscura@gmail.com> | 2014-07-01 19:45:39 +0800 |
| commit | 253c23240b8cec56e2bb21072291e2f7ef1a49e9 (patch) | |
| tree | 64503d09f1120ef2327a8184e46d5ee8bc7090bd /ethereal/assets/muted/index.html | |
| parent | 0ce9003ba77c0552c9058caa55d2fea6711ac18c (diff) | |
| parent | 098f7f23ce62d3f0c60d30d325576de93795cc4b (diff) | |
| download | dexon-253c23240b8cec56e2bb21072291e2f7ef1a49e9.tar dexon-253c23240b8cec56e2bb21072291e2f7ef1a49e9.tar.gz dexon-253c23240b8cec56e2bb21072291e2f7ef1a49e9.tar.bz2 dexon-253c23240b8cec56e2bb21072291e2f7ef1a49e9.tar.lz dexon-253c23240b8cec56e2bb21072291e2f7ef1a49e9.tar.xz dexon-253c23240b8cec56e2bb21072291e2f7ef1a49e9.tar.zst dexon-253c23240b8cec56e2bb21072291e2f7ef1a49e9.zip | |
Merge branch 'feature/keys' of https://github.com/ethersphere/go-ethereum into ethersphere-feature/keys
Conflicts:
.gitignore
README.md
Diffstat (limited to 'ethereal/assets/muted/index.html')
| -rw-r--r-- | ethereal/assets/muted/index.html | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/ethereal/assets/muted/index.html b/ethereal/assets/muted/index.html new file mode 100644 index 000000000..14949b5ac --- /dev/null +++ b/ethereal/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> |