plugeth/Mist/assets/muted/index.html

81 lines
1.5 KiB
HTML
Raw Normal View History

2014-04-27 22:25:01 +00:00
<!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>
2014-04-28 21:24:42 +00:00
<script src="muted.js"></script>
2014-04-27 22:25:01 +00:00
<style type="text/css">
html, body {
margin: 0; padding: 0;
2014-04-28 21:24:42 +00:00
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";
2014-04-27 22:25:01 +00:00
}
.CodeMirror {
2014-04-28 21:24:42 +00:00
height: 70%;
2014-05-14 11:55:08 +00:00
font-size: 14pt;
2014-04-27 22:25:01 +00:00
}
</style>
</head>
<body>
<textarea id="editor"></textarea>
2014-04-28 21:24:42 +00:00
<div id="debugger">
<div class="line">
<div class="col1 prompt">
&gt;
</div>
<div class="col2" contenteditable>
</div>
</div>
</div>
2014-04-27 22:25:01 +00:00
<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>