circlecloud/MiaoScript
2
2
Fork 0
Code Pull Requests Releases 4 Activity

fix: 修复编辑器错误

Browse Source
This commit is contained in:
502647092
2017-10-20 14:34:37 +08:00
parent 2e13eeff44
commit fc6cfe0751
1 changed files with 24 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
application/index/view/index/index.html
View File

@@ -23,20 +23,34 @@
<script src="//cdn.bootcss.com/messenger/1.5.0/js/messenger.min.js"></script> <script src="//cdn.bootcss.com/messenger/1.5.0/js/messenger.min.js"></script>
<script src="//cdn.bootcss.com/messenger/1.5.0/js/messenger-theme-future.min.js"></script> <script src="//cdn.bootcss.com/messenger/1.5.0/js/messenger-theme-future.min.js"></script>
<link href="//cdn.bootcss.com/codemirror/5.30.0/codemirror.min.css" rel="stylesheet"> <link href="//cdn.bootcss.com/codemirror/5.30.0/codemirror.css" rel="stylesheet">
<script src="//cdn.bootcss.com/codemirror/5.30.0/codemirror.min.js"></script> <script src="//cdn.bootcss.com/codemirror/5.30.0/codemirror.js"></script>
<script src="//cdn.bootcss.com/codemirror/5.30.0/mode/javascript/javascript.min.js"></script> <script src="//cdn.bootcss.com/codemirror/5.30.0/mode/javascript/javascript.js"></script>
<script src="//cdn.bootcss.com/codemirror/5.30.0/addon/lint/javascript-lint.min.js"></script> <script src="//cdn.bootcss.com/codemirror/5.30.0/addon/lint/javascript-lint.js"></script>
<script src="//cdn.bootcss.com/codemirror/5.30.0/addon/hint/javascript-hint.min.js"></script> <script src="//cdn.bootcss.com/codemirror/5.30.0/addon/hint/javascript-hint.js"></script>
<script src="//cdn.bootcss.com/codemirror/5.30.0/addon/lint/yaml-lint.min.js"></script> <link href="//cdn.bootcss.com/codemirror/5.30.0/addon/fold/foldgutter.css" rel="stylesheet">
<script src="//cdn.bootcss.com/codemirror/5.30.0/addon/fold/foldgutter.js"></script>
<script src="//cdn.bootcss.com/codemirror/5.30.0/addon/lint/yaml-lint.js"></script>
</head> </head>
<script> <script>
code = document.getElementById("code"); window.onload = function () {
var editor = CodeMirror.fromTextArea(code, { code = document.getElementById("code");
mode: "javascript" window.editor = CodeMirror.fromTextArea(code, {
}); mode: "javascript",
lineNumbers: true,
lineWrapping: true,
extraKeys: {
"Ctrl-Q": function (cm) {
cm.foldCode(cm.getCursor());
}
},
foldGutter: true,
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"]
});
}
</script> </script>
<body> <body>