Fold code and fold gutter are within CodeMirror JS

This commit is contained in:
Matt Pass
2019-08-25 13:01:36 +01:00
committed by GitHub
parent a653be8e99
commit 2792b85036

View File

@@ -40,8 +40,6 @@ $versions = $fileCountInfo['count'];
.CodeMirror-foldgutter-folded {background: #800; color: #ddd}
.CodeMirror-foldgutter-folded:after {position: relative; top: -3px}
</style>
<script src="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/fold/foldcode.js?microtime=<?php echo microtime(true);?>"></script>
<script src="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/fold/foldgutter.js?microtime=<?php echo microtime(true);?>"></script>
<link rel="stylesheet" href="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/addon/fold/foldgutter.css?microtime=<?php echo microtime(true);?>">
<link rel="stylesheet" href="editor.css?microtime=<?php echo microtime(true);?>">
<?php
@@ -167,4 +165,4 @@ var restoreVersion = function() {
</body>
</html>
</html>