From 4e71ba9d3ea40cd2d817965e5eed4a2fe1b876b3 Mon Sep 17 00:00:00 2001 From: mistic100 Date: Fri, 24 Jul 2015 22:44:39 +0200 Subject: Remove core plugins from core repository --- .../codemirror/mode/htmlmixed/htmlmixed.js | 66 ---------------------- 1 file changed, 66 deletions(-) delete mode 100644 plugins/LocalFilesEditor/codemirror/mode/htmlmixed/htmlmixed.js (limited to 'plugins/LocalFilesEditor/codemirror/mode/htmlmixed/htmlmixed.js') diff --git a/plugins/LocalFilesEditor/codemirror/mode/htmlmixed/htmlmixed.js b/plugins/LocalFilesEditor/codemirror/mode/htmlmixed/htmlmixed.js deleted file mode 100644 index 8d7165201..000000000 --- a/plugins/LocalFilesEditor/codemirror/mode/htmlmixed/htmlmixed.js +++ /dev/null @@ -1,66 +0,0 @@ -CodeMirror.defineMode("htmlmixed", function(config, parserConfig) { - var htmlMode = CodeMirror.getMode(config, {name: "xml", htmlMode: true}); - var jsMode = CodeMirror.getMode(config, "javascript"); - var cssMode = CodeMirror.getMode(config, "css"); - - function html(stream, state) { - var style = htmlMode.token(stream, state.htmlState); - if (style == "xml-tag" && stream.current() == ">" && state.htmlState.context) { - if (/^script$/i.test(state.htmlState.context.tagName)) { - state.token = javascript; - state.localState = jsMode.startState(htmlMode.indent(state.htmlState, "")); - } - else if (/^style$/i.test(state.htmlState.context.tagName)) { - state.token = css; - state.localState = cssMode.startState(htmlMode.indent(state.htmlState, "")); - } - } - return style; - } - function javascript(stream, state) { - if (stream.match(/^<\/\s*script\s*>/i, false)) { - state.token = html; - state.curState = null; - return html(stream, state); - } - return jsMode.token(stream, state.localState); - } - function css(stream, state) { - if (stream.match(/^<\/\s*style\s*>/i, false)) { - state.token = html; - state.localState = null; - return html(stream, state); - } - return cssMode.token(stream, state.localState); - } - - return { - startState: function() { - var state = htmlMode.startState(); - return {token: html, localState: null, htmlState: state}; - }, - - copyState: function(state) { - if (state.localState) - var local = CodeMirror.copyState(state.token == css ? cssMode : jsMode, state.localState); - return {token: state.token, localState: local, htmlState: CodeMirror.copyState(htmlMode, state.htmlState)}; - }, - - token: function(stream, state) { - return state.token(stream, state); - }, - - indent: function(state, textAfter) { - if (state.token == html || /^\s*<\//.test(textAfter)) - return htmlMode.indent(state.htmlState, textAfter); - else if (state.token == javascript) - return jsMode.indent(state.localState, textAfter); - else - return cssMode.indent(state.localState, textAfter); - }, - - electricChars: "/{}:" - } -}); - -CodeMirror.defineMIME("text/html", "htmlmixed"); -- cgit v1.2.3