2014-04-28 01:25:01 +03: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-29 00:24:42 +03:00
|
|
|
<script src="muted.js"></script>
|
2014-04-28 01:25:01 +03:00
|
|
|
|
|
|
|
<style type="text/css">
|
|
|
|
html, body {
|
|
|
|
margin: 0; padding: 0;
|
2014-04-29 00:24:42 +03: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-28 01:25:01 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror {
|
2014-04-29 00:24:42 +03:00
|
|
|
height: 70%;
|
2014-04-28 01:25:01 +03:00
|
|
|
}
|
|
|
|
</style>
|
|
|
|
</head>
|
|
|
|
|
|
|
|
<body>
|
|
|
|
<textarea id="editor"></textarea>
|
2014-04-29 00:24:42 +03:00
|
|
|
|
|
|
|
<div id="debugger">
|
|
|
|
<div class="line">
|
|
|
|
<div class="col1 prompt">
|
|
|
|
>
|
|
|
|
</div>
|
|
|
|
<div class="col2" contenteditable>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
2014-04-28 01:25:01 +03: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>
|