File Editor
Directories:
.. (Back)
Files:
add.asset.php
add.js
codemirror.asset.php
codemirror.js
common.asset.php
common.js
edit.asset.php
edit.js
export.asset.php
export.js
import.asset.php
import.js
index.php
jspreadsheet.asset.php
jspreadsheet.js
jsuites.asset.php
jsuites.js
list.asset.php
list.js
options.asset.php
options.js
quicktags-button.asset.php
quicktags-button.js
tinymce-button.asset.php
tinymce-button.js
Create New File
Create
Edit File: codemirror.js
(()=>{"use strict";window.tp=window.tp||{},tp.CM_custom_css=wp.codeEditor.initialize("option-custom-css",{}).codemirror;const s=tp.CM_custom_css.getWrapperElement(),t=function(){this.classList.contains("disabled")||(this.classList.add("large"),tp.CM_custom_css.refresh(),this.removeEventListener("mousedown",t))};s.addEventListener("mousedown",t);const e=document.getElementById("option-use-custom-css");e.addEventListener("change",(function(){tp.CM_custom_css.setOption("readOnly",!this.checked),s.classList.toggle("disabled",!this.checked)})),e.dispatchEvent(new Event("change"))})();
Save Changes
Rename File
Rename