GLUE源码编辑器优化

pull/1/head
xueli.xue 8 years ago
parent 6a8f42a2fb
commit e0ed8daaa1

@ -29,9 +29,9 @@
<div class="content-wrapper">
<!-- Content Header (Page header) -->
<section class="content-header">
<#--<section class="content-header">
<h1>任务调度中心<small>任务GLUE管理</small></h1>
</section>
</section>-->
<!-- Main content -->
<section class="content">
<div class="row">
@ -75,17 +75,17 @@
</div>
</div>
<div class="row">
<div class="col-xs-12">
<div class="row" id="glueSource" >
<#--<div class="col-xs-12">
<div class="box callout callout-info">
<textarea id="glueSource" ></textarea>
</div>
</div>
</div>-->
</div>
</section>
</div>
<!-- footer -->
<@netCommon.commonFooter />
<#--<@netCommon.commonFooter />-->
</div>
<@netCommon.commonScript />

@ -1,7 +1,12 @@
$(function() {
// init code editor
var codeEditor = CodeMirror.fromTextArea(document.getElementById("glueSource"), {
/*var codeEditor = CodeMirror.fromTextArea(document.getElementById("glueSource"), {
mode : "text/x-java",
lineNumbers : true,
matchBrackets : true
});*/
var codeEditor = CodeMirror(document.getElementById("glueSource"), {
mode : "text/x-java",
lineNumbers : true,
matchBrackets : true

Loading…
Cancel
Save