diff options
| author | Jeffrey Wilcke <geffobscura@gmail.com> | 2015-06-24 01:19:33 +0800 |
|---|---|---|
| committer | Jeffrey Wilcke <geffobscura@gmail.com> | 2015-06-24 01:19:33 +0800 |
| commit | 72e2613a9fe3205fa5a67b72b832e03b2357ee88 (patch) | |
| tree | bbc987510d279d9e174ff8f684158d668131661e /cmd/mist/assets/muted/index.html | |
| parent | 5daf8729be88eca87b302ebf7a46fc69cad0f6d0 (diff) | |
| parent | 67e6f74e9af00ff011a6a02f18644804eb18cdaa (diff) | |
| download | go-tangerine-0.9.32.tar go-tangerine-0.9.32.tar.gz go-tangerine-0.9.32.tar.bz2 go-tangerine-0.9.32.tar.lz go-tangerine-0.9.32.tar.xz go-tangerine-0.9.32.tar.zst go-tangerine-0.9.32.zip | |
Merge branch 'release/0.9.32'v0.9.32
Diffstat (limited to 'cmd/mist/assets/muted/index.html')
| -rw-r--r-- | cmd/mist/assets/muted/index.html | 80 |
1 files changed, 0 insertions, 80 deletions
diff --git a/cmd/mist/assets/muted/index.html b/cmd/mist/assets/muted/index.html deleted file mode 100644 index 14949b5ac..000000000 --- a/cmd/mist/assets/muted/index.html +++ /dev/null @@ -1,80 +0,0 @@ -<!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> |