erp5_code_mirror: 'viewportMargin: Infinity' is too slow with files with > 1000 lines.

This was initially set to 'Infinity' to allow browser search but this make the
editor completely unusable with big files.

bt5/erp5_code_mirror/SkinTemplateItem/portal_skins/erp5_code_mirror/code_mirror_support.xml

@@ -484,7 +484,6 @@
     tabSize: 2,\n
     indentWithTabs: false,\n
     matchBrackets: true,\n
-    viewportMargin: Infinity,\n
     extraKeys: {"Ctrl-Space": "autocomplete",\n
                 "Ctrl-Q": function(cm){cm.foldCode(cm.getCursor());},\n
                 "Ctrl-S": function(cm){saveDocument(cm, $.Event(\'click\'))}},\n
@@ -532,7 +531,6 @@
       lineNumbers: true,\n
       showTrailingSpace: true,\n
       matchBrackets: true,\n
-      /* viewportMargin: Infinity, */\n
       extraKeys: {"Ctrl-Space": "autocomplete",\n
                   "Ctrl-Q": function(cm){cm.foldCode(cm.getCursor());},\n
                   "Ctrl-S": function(cm){saveDocument(merge_mode_elem.edit, $.Event(\'click\'))}},\n

bt5/erp5_code_mirror/bt/change_log

+2015-05-08 arnaud.fontaine
+* 'viewportMargin: Infinity' is too slow with files with > 1000 lines.
+
 2015-05-08 arnaud.fontaine
 * Rename 'edit' addon to 'cm_edit' to prevent conflict with ERP5 'edit()' method preventing update of the bt5.