+                    
+            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());
+                });
+            })
+