2
0
mirror of https://github.com/Ionaru/easy-markdown-editor synced 2025-07-06 09:34:27 -06:00

Added searchcursor plugin

This commit is contained in:
Cornelius Wichering 2018-05-28 22:08:02 +02:00
parent f4905ea6b9
commit b60b3cd184

View File

@ -8,6 +8,7 @@ require('codemirror/mode/markdown/markdown.js');
require('codemirror/addon/mode/overlay.js');
require('codemirror/addon/display/placeholder.js');
require('codemirror/addon/selection/mark-selection.js');
require('codemirror/addon/search/searchcursor.js');
require('codemirror/mode/gfm/gfm.js');
require('codemirror/mode/xml/xml.js');
var CodeMirrorSpellChecker = require('codemirror-spell-checker');