I changed the css code in the edit_area_full.js. in docs/include.html: edit_area_compressor.php...
access the html file function: window.parent.a();
In IE 11, the UI refresh really slowly for the large file full_screen action base...
bug in highlight.js: function maj_highlight
add download plugin, crush only in chrome
fullscreen error for large file
trace_new = t.get_syntax_trace(changes.newTextLine).replace(/\r/g, ''); get_syntax_trace...