erp5_core: gadget editor: use monospace font

bt5/erp5_web_renderjs_ui/SkinTemplateItem/portal_skins/erp5_web_renderjs/WebSection_getPrecacheManifest.py

@@ -149,6 +149,7 @@ url_list = [
   'gadget_translation_data.js',
   'gadget_editor.html',
   'gadget_editor.js',
+  'gadget_editor.css',
   'gadget_html_viewer.html',
   'gadget_html_viewer.js',
   'gadget_html_viewer.css',

product/ERP5/bootstrap/erp5_core/SkinTemplateItem/portal_skins/erp5_core/gadget_editor.css.css

+div[data-gadget-url$="gadget_editor.html"] > textarea,
+div[data-gadget-url$="gadget_editor.html"] > pre code {
+  font-family: "Courier New", Courier, monospace;
+}

product/ERP5/bootstrap/erp5_core/SkinTemplateItem/portal_skins/erp5_core/gadget_editor.css.xml

+<?xml version="1.0"?>
+<ZopeData>
+  <record id="1" aka="AAAAAAAAAAE=">
+    <pickle>
+      <global name="File" module="OFS.Image"/>
+    </pickle>
+    <pickle>
+      <dictionary>
+        <item>
+            <key> <string>_Cacheable__manager_id</string> </key>
+            <value> <string>must_revalidate_http_cache</string> </value>
+        </item>
+        <item>
+            <key> <string>__name__</string> </key>
+            <value> <string>gadget_editor.css</string> </value>
+        </item>
+        <item>
+            <key> <string>content_type</string> </key>
+            <value> <string>text/css</string> </value>
+        </item>
+        <item>
+            <key> <string>precondition</string> </key>
+            <value> <string></string> </value>
+        </item>
+        <item>
+            <key> <string>title</string> </key>
+            <value> <string>gadget_editor.css</string> </value>
+        </item>
+      </dictionary>
+    </pickle>
+  </record>
+</ZopeData>

product/ERP5/bootstrap/erp5_core/SkinTemplateItem/portal_skins/erp5_core/gadget_editor.html.html

@@ -6,6 +6,7 @@
     <title>Text editor gadget</title>
     <link rel="http://www.renderjs.org/rel/interface" href="interface_editor.html">
     <link rel="http://www.renderjs.org/rel/interface" href="interface_erp5_form_content_provider.html">
+    <link rel="stylesheet" href="gadget_editor.css">
     <script src="rsvp.js"></script>
     <script src="renderjs.js"></script>
     <script src="gadget_global.js"></script>

product/ERP5/bootstrap/erp5_core/SkinTemplateItem/portal_skins/erp5_core/gadget_editor.js.js

@@ -80,6 +80,7 @@
         gadget = this,
         div = document.createElement('div'),
         div_max = document.createElement('div'),
+        code,
         queue = new RSVP.Queue();
 
       if ((modification_dict.hasOwnProperty('editable')) ||
@@ -200,7 +201,10 @@
             element.querySelector('img').src = evt.target.result;
           });
       } else {
-        element.querySelector('pre').textContent = gadget.state.value;
+        code = document.createElement('code');
+        code.textContent = gadget.state.value;
+        element.querySelector('pre').textContent = '';
+        element.querySelector('pre').appendChild(code);
       }
       return queue;
     })

product/ERP5/bootstrap/erp5_core/SkinTemplateItem/portal_skins/erp5_core/gadget_editor.less.txt

+@monospace: "Courier New", Courier, monospace;
+
+div[data-gadget-url$="gadget_editor.html"] {
+  & > textarea, & > pre code {
+    font-family: @monospace;
+  }
+}
\ No newline at end of file

product/ERP5/bootstrap/erp5_core/SkinTemplateItem/portal_skins/erp5_core/gadget_editor.less.xml

+<?xml version="1.0"?>
+<ZopeData>
+  <record id="1" aka="AAAAAAAAAAE=">
+    <pickle>
+      <global name="File" module="OFS.Image"/>
+    </pickle>
+    <pickle>
+      <dictionary>
+        <item>
+            <key> <string>__name__</string> </key>
+            <value> <string>gadget_editor.less</string> </value>
+        </item>
+        <item>
+            <key> <string>content_type</string> </key>
+            <value> <string>text/plain</string> </value>
+        </item>
+        <item>
+            <key> <string>precondition</string> </key>
+            <value> <string></string> </value>
+        </item>
+        <item>
+            <key> <string>title</string> </key>
+            <value> <string></string> </value>
+        </item>
+      </dictionary>
+    </pickle>
+  </record>
+</ZopeData>