added ACE Editor to textarea#content

zopefoundation · Jul 6, 2018 · 58355ec · 58355ec
1 parent f94492e
commit 58355ec
Show file tree

Hide file tree

Showing 19 changed files with 132 additions and 1 deletion.
diff --git a/src/zmi/styles/resources/ace.ajax.org/ace.js b/src/zmi/styles/resources/ace.ajax.org/ace.js
diff --git a/src/zmi/styles/resources/ace.ajax.org/mode-css.js b/src/zmi/styles/resources/ace.ajax.org/mode-css.js
diff --git a/src/zmi/styles/resources/ace.ajax.org/mode-html.js b/src/zmi/styles/resources/ace.ajax.org/mode-html.js
diff --git a/src/zmi/styles/resources/ace.ajax.org/mode-javascript.js b/src/zmi/styles/resources/ace.ajax.org/mode-javascript.js
diff --git a/src/zmi/styles/resources/ace.ajax.org/mode-less.js b/src/zmi/styles/resources/ace.ajax.org/mode-less.js
diff --git a/src/zmi/styles/resources/ace.ajax.org/mode-python.js b/src/zmi/styles/resources/ace.ajax.org/mode-python.js
diff --git a/src/zmi/styles/resources/ace.ajax.org/mode-text.js b/src/zmi/styles/resources/ace.ajax.org/mode-text.js
diff --git a/src/zmi/styles/resources/ace.ajax.org/mode-xml.js b/src/zmi/styles/resources/ace.ajax.org/mode-xml.js
diff --git a/src/zmi/styles/resources/ace.ajax.org/theme-chrome.js b/src/zmi/styles/resources/ace.ajax.org/theme-chrome.js