Changeset 3672:688db50dab3e for inc/admin

Timestamp:

01/23/18 15:38:11 (8 years ago)

Author:

franck <carnet.franck.paul@…>

Branch:

2.13

Children:

3673:efaeacffe25c, 3677:99d297453570

Message:

"true" is not equal to true (aka 1)! Should fix #2266

File:

• inc/admin/lib.dc.page.php (modified) (1 diff)

inc/admin/lib.dc.page.php

@@ -1078 +1078 @@
                '    mode: "'.$mode.'",'."\n".
                '    tabMode: "indent",'."\n".
-               '    lineWrapping: "true",'."\n".
-               '    lineNumbers: "true",'."\n".
-               '    matchBrackets: "true",'."\n".
-               '    autoCloseBrackets: "true",'."\n".
+               '    lineWrapping: 1,'."\n".
+               '    lineNumbers: 1,'."\n".
+               '    matchBrackets: 1,'."\n".
+               '    autoCloseBrackets: 1,'."\n".
                '    extraKeys: {"F11": function(cm) {cm.setOption("fullScreen",!cm.getOption("fullScreen"));}}';
           if ($theme) {