私は JQuery を使用してファイルをテキストエリアにロードし、CodeMirror を使用して色付けしていますが、うまく機能していないようです: ファイルをロードするか、テキストエリア (既存のテキストを含む) を色付けすることができます。どちらか一方ですが、最初にロードしてから色付けすると、空白のテキストエリアになります。これが私のページの関連コードです:
$("#corpo").load("jquery-latest.min.js"); /* random js file */
var editor = CodeMirror.fromTextArea("corpo", {
parserfile: ["tokenizejavascript.js", "parsejavascript.js"],
path: "/codemirror/js/",
stylesheet: "/codemirror/css/jscolors.css"
});
ありがとう!