erp5_core: allow to select code mirror for text and code editors

product/ERP5/bootstrap/erp5_core/SkinTemplateItem/portal_skins/erp5_core/Preference_getAvailableSourceCodeEditorList.xml

@@ -55,6 +55,9 @@
 if getattr(context.portal_skins, "erp5_ace_editor", None) is not None:\n
   editor_list.append(("Ace Editor", "ace"))\n
 \n
+if getattr(context.portal_skins, "erp5_code_mirror", None) is not None:\n
+  editor_list.append(("Code Mirror", "codemirror"))\n
+\n
 return editor_list\n
 </string> </value>
         </item>

product/ERP5/bootstrap/erp5_core/SkinTemplateItem/portal_skins/erp5_core/Preference_getAvailableTextEditorList.xml

@@ -59,6 +59,9 @@ if getattr(context.portal_skins, "erp5_xinha_editor", None) is not None:\n
 if getattr(context.portal_skins, "erp5_ace_editor", None) is not None:\n
   text_editor_list.append(("Ace Editor", "ace"))\n
 \n
+if getattr(context.portal_skins, "erp5_code_mirror", None) is not None:\n
+  text_editor_list.append(("Code Mirror", "codemirror"))\n
+\n
 return text_editor_list\n
 </string> </value>
         </item>