diff options
author | Valerio Virgillito | 2012-02-15 17:04:39 -0800 |
---|---|---|
committer | Valerio Virgillito | 2012-02-15 17:04:39 -0800 |
commit | fe71cb9aa1700199c0089166ad54fc56eb760644 (patch) | |
tree | b0c7c24b1f45a079e1c09312ca716e3d35aecad4 /imports/codemirror/lib/util/overlay.js | |
parent | 747616980cad14f0b65fbcc7f497ed9680a39d29 (diff) | |
parent | d366c0bd1af6471511217ed574083e15059519b5 (diff) | |
download | ninja-fe71cb9aa1700199c0089166ad54fc56eb760644.tar.gz |
Merge branch 'refs/heads/master' into components
Diffstat (limited to 'imports/codemirror/lib/util/overlay.js')
-rwxr-xr-x | imports/codemirror/lib/util/overlay.js | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/imports/codemirror/lib/util/overlay.js b/imports/codemirror/lib/util/overlay.js new file mode 100755 index 00000000..c4cdf9fc --- /dev/null +++ b/imports/codemirror/lib/util/overlay.js | |||
@@ -0,0 +1,51 @@ | |||
1 | // Utility function that allows modes to be combined. The mode given | ||
2 | // as the base argument takes care of most of the normal mode | ||
3 | // functionality, but a second (typically simple) mode is used, which | ||
4 | // can override the style of text. Both modes get to parse all of the | ||
5 | // text, but when both assign a non-null style to a piece of code, the | ||
6 | // overlay wins, unless the combine argument was true, in which case | ||
7 | // the styles are combined. | ||
8 | |||
9 | CodeMirror.overlayParser = function(base, overlay, combine) { | ||
10 | return { | ||
11 | startState: function() { | ||
12 | return { | ||
13 | base: CodeMirror.startState(base), | ||
14 | overlay: CodeMirror.startState(overlay), | ||
15 | basePos: 0, baseCur: null, | ||
16 | overlayPos: 0, overlayCur: null | ||
17 | }; | ||
18 | }, | ||
19 | copyState: function(state) { | ||
20 | return { | ||
21 | base: CodeMirror.copyState(base, state.base), | ||
22 | overlay: CodeMirror.copyState(overlay, state.overlay), | ||
23 | basePos: state.basePos, baseCur: null, | ||
24 | overlayPos: state.overlayPos, overlayCur: null | ||
25 | }; | ||
26 | }, | ||
27 | |||
28 | token: function(stream, state) { | ||
29 | if (stream.start == state.basePos) { | ||
30 | state.baseCur = base.token(stream, state.base); | ||
31 | state.basePos = stream.pos; | ||
32 | } | ||
33 | if (stream.start == state.overlayPos) { | ||
34 | stream.pos = stream.start; | ||
35 | state.overlayCur = overlay.token(stream, state.overlay); | ||
36 | state.overlayPos = stream.pos; | ||
37 | } | ||
38 | stream.pos = Math.min(state.basePos, state.overlayPos); | ||
39 | if (stream.eol()) state.basePos = state.overlayPos = 0; | ||
40 | |||
41 | if (state.overlayCur == null) return state.baseCur; | ||
42 | if (state.baseCur != null && combine) return state.baseCur + " " + state.overlayCur; | ||
43 | else return state.overlayCur; | ||
44 | }, | ||
45 | |||
46 | indent: function(state, textAfter) { | ||
47 | return base.indent(state.base, textAfter); | ||
48 | }, | ||
49 | electricChars: base.electricChars | ||
50 | }; | ||
51 | }; | ||