Changeset 997:61cf0a201d49
- Timestamp:
- 11/12/12 15:22:49 (13 years ago)
- Branch:
- default
- Location:
- plugins/themeEditor
- Files:
-
- 1 added
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
plugins/themeEditor/index.php
r948 r997 74 74 <link rel="stylesheet" type="text/css" href="index.php?pf=themeEditor/codemirror.css" /> 75 75 <script type="text/JavaScript" src="index.php?pf=themeEditor/codemirror/codemirror.js"></script> 76 <script type="text/JavaScript" src="index.php?pf=themeEditor/codemirror/multiplex.js"></script> 76 77 <script type="text/JavaScript" src="index.php?pf=themeEditor/codemirror/xml.js"></script> 77 78 <script type="text/JavaScript" src="index.php?pf=themeEditor/codemirror/javascript.js"></script> … … 128 129 echo 129 130 '<script> 131 window.CodeMirror.defineMode("dotclear", function(config) { 132 return CodeMirror.multiplexingMode( 133 CodeMirror.getMode(config, "'.$editorMode.'"), 134 {open: "{{tpl:", close: "}}", 135 mode: CodeMirror.getMode(config, "text/plain"), 136 delimStyle: "delimit"}, 137 {open: "<tpl:", close: ">", 138 mode: CodeMirror.getMode(config, "text/plain"), 139 delimStyle: "delimit"}, 140 {open: "</tpl:", close: ">", 141 mode: CodeMirror.getMode(config, "text/plain"), 142 delimStyle: "delimit"} 143 ); 144 }); 130 145 var editor = CodeMirror.fromTextArea(document.getElementById("file_content"), { 131 mode: " '.$editorMode.'",146 mode: "dotclear", 132 147 tabMode: "indent", 133 148 lineWrapping: "true",
Note: See TracChangeset
for help on using the changeset viewer.