aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/LocalFilesEditor/codemirror/lib/overlay.js
diff options
context:
space:
mode:
authormistic100 <mistic@strangeplanet.fr>2015-07-24 22:44:39 +0200
committermistic100 <mistic@strangeplanet.fr>2015-07-26 19:11:36 +0200
commit4e71ba9d3ea40cd2d817965e5eed4a2fe1b876b3 (patch)
treeaf7f5291540806e5fde21db1d98d590579549055 /plugins/LocalFilesEditor/codemirror/lib/overlay.js
parent32138f1fbd7637dffaaad0c8ca677e43a0d13831 (diff)
Remove core plugins from core repository
Diffstat (limited to 'plugins/LocalFilesEditor/codemirror/lib/overlay.js')
-rw-r--r--plugins/LocalFilesEditor/codemirror/lib/overlay.js51
1 files changed, 0 insertions, 51 deletions
diff --git a/plugins/LocalFilesEditor/codemirror/lib/overlay.js b/plugins/LocalFilesEditor/codemirror/lib/overlay.js
deleted file mode 100644
index c4cdf9fc8..000000000
--- a/plugins/LocalFilesEditor/codemirror/lib/overlay.js
+++ /dev/null
@@ -1,51 +0,0 @@
-// Utility function that allows modes to be combined. The mode given
-// as the base argument takes care of most of the normal mode
-// functionality, but a second (typically simple) mode is used, which
-// can override the style of text. Both modes get to parse all of the
-// text, but when both assign a non-null style to a piece of code, the
-// overlay wins, unless the combine argument was true, in which case
-// the styles are combined.
-
-CodeMirror.overlayParser = function(base, overlay, combine) {
- return {
- startState: function() {
- return {
- base: CodeMirror.startState(base),
- overlay: CodeMirror.startState(overlay),
- basePos: 0, baseCur: null,
- overlayPos: 0, overlayCur: null
- };
- },
- copyState: function(state) {
- return {
- base: CodeMirror.copyState(base, state.base),
- overlay: CodeMirror.copyState(overlay, state.overlay),
- basePos: state.basePos, baseCur: null,
- overlayPos: state.overlayPos, overlayCur: null
- };
- },
-
- token: function(stream, state) {
- if (stream.start == state.basePos) {
- state.baseCur = base.token(stream, state.base);
- state.basePos = stream.pos;
- }
- if (stream.start == state.overlayPos) {
- stream.pos = stream.start;
- state.overlayCur = overlay.token(stream, state.overlay);
- state.overlayPos = stream.pos;
- }
- stream.pos = Math.min(state.basePos, state.overlayPos);
- if (stream.eol()) state.basePos = state.overlayPos = 0;
-
- if (state.overlayCur == null) return state.baseCur;
- if (state.baseCur != null && combine) return state.baseCur + " " + state.overlayCur;
- else return state.overlayCur;
- },
-
- indent: function(state, textAfter) {
- return base.indent(state.base, textAfter);
- },
- electricChars: base.electricChars
- };
-};