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.gz 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, 0 insertions, 80 deletions
diff --git a/Mist/assets/muted/index.html b/Mist/assets/muted/index.html deleted file mode 100644 index 14949b5ac..000000000 --- a/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> |