$(function(){
var editor = CodeMirror.fromTextArea(document.getElementById("processContext textArea的ID"), {
lineNumbers: true,
matchBrackets: true,
styleActiveLine: true,
mode: "text/x-groovy"
});
editor.setOption("theme", 'monokai');
});
groovy
最新推荐文章于 2025-06-03 22:57:23 发布