diff options
| author | obscuren <geffobscura@gmail.com> | 2014-05-05 21:56:05 +0800 |
|---|---|---|
| committer | obscuren <geffobscura@gmail.com> | 2014-05-05 21:56:05 +0800 |
| commit | a77dcd10414e94fbd255931b0a539bbfefd91f56 (patch) | |
| tree | 5c804987152d89c4915a433bb79fcb7b95c6364c /ethereal/assets/muted/index.html | |
| parent | 1323f60c074297c97397d20dd275124da2f5b531 (diff) | |
| parent | 70221c36e381e98bf3e92913f48fb94d18da8ef5 (diff) | |
| download | go-tangerine-poc5-rc1.tar go-tangerine-poc5-rc1.tar.gz go-tangerine-poc5-rc1.tar.bz2 go-tangerine-poc5-rc1.tar.lz go-tangerine-poc5-rc1.tar.xz go-tangerine-poc5-rc1.tar.zst go-tangerine-poc5-rc1.zip | |
Merge branch 'release/poc5-rc1'poc5-rc1
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> |