Changeset 3257:5d75774016a3 for plugins/themeEditor/_admin.php

Timestamp:

06/18/16 18:43:08 (9 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

default

Children:

3258:2357a1bf9114, 3284:e2c6add4816b

Message:

Usual oups 🍺

File:

• plugins/themeEditor/_admin.php (modified) (1 diff)

plugins/themeEditor/_admin.php

@@ -78 +78 @@
           echo '</div>';
           echo '<div class="col">';
-          echo dcPage::jsCodeMirror('',false,array('javascript'));
+          echo dcPage::jsLoadCodeMirror('',false,array('javascript'));
           foreach ($themes_list as $theme) {
                echo dcPage::cssLoad('js/codemirror/theme/'.$theme.'.css');