+
+ var editor = CodeMirror.fromTextArea("id_text", {
+ parserfile: 'parsexml.js',
+ path: "/static/js/codemirror/",
+ stylesheet: "/static/css/xmlcolors.css",
+ parserConfig: {useHTMLKludges: false}
+ });
+
+ $('iframe').load(function() {
+ $($('iframe').contents()).scroll(function() {
+ var percentScrolled = $('body', this).scrollTop() / $('body', this).height();
+ $('#images-wrap').scrollTop(percentScrolled * $('#images').height());
+ });
+ })
+