Merge remote-tracking branch 'origin/dev_local' into dev_local

dev_local
杨树明 6 years ago
commit 127a9692c8

@ -58,8 +58,7 @@
autoRefresh: true,
smartIndent: true,//智能换行
styleActiveLine: true,
lint: true,
readOnly: "nocursor"
lint: true
});
$(function(){
shixun_show_CodeMirror.setSize("auto","auto");

Loading…
Cancel
Save