Nemcio/Grav-Admin-Plugin
1
0
Fork 0
mirror of https://github.com/getgrav/grav-plugin-admin.git synced 2025-11-03 03:46:30 +01:00
Code Issues Packages Projects Releases Activity

Updated CodeMirror and fixed various issues with compressed version

Browse Source
This commit is contained in:
Djamil Legato
2015-08-04 11:21:41 -07:00
parent c0b3064a08
commit cab2bbb775
4 changed files with 73 additions and 48 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
themes/grav/js/mdeditor.js
View File

@@ -42,7 +42,7 @@
markdown : false,
autocomplete : true,
height : 500,
codemirror : { mode: 'htmlmixed', theme: 'paper', lineWrapping: true, dragDrop: true, autoCloseTags: true, matchTags: true, autoCloseBrackets: true, matchBrackets: true, indentUnit: 4, indentWithTabs: false, tabSize: 4, hintOptions: {completionSingle:false} },
codemirror : { mode: 'htmlmixed', theme: 'paper', lineWrapping: true, dragDrop: true, autoCloseTags: true, matchTags: true, autoCloseBrackets: true, matchBrackets: true, indentUnit: 4, indentWithTabs: false, tabSize: 4, hintOptions: {completionSingle:false}, extraKeys: {"Enter": "newlineAndIndentContinueMarkdownList"} },
toolbar : [ 'bold', 'italic', 'strike', 'link', 'image', 'blockquote', 'listUl', 'listOl' ],
lblPreview : '<i class="fa fa-fw fa-eye"></i>',
lblCodeview : '<i class="fa fa-fw fa-code"></i>',