Code Editor : jquery.pretty-text-diff.js