60 lines
		
	
	
		
			2.1 KiB
		
	
	
	
		
			JavaScript
		
	
	
	
			
		
		
	
	
			60 lines
		
	
	
		
			2.1 KiB
		
	
	
	
		
			JavaScript
		
	
	
	
// 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.
 | 
						|
 | 
						|
// overlayParser is the old, deprecated name
 | 
						|
CodeMirror.overlayMode = 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: base.indent && function(state, textAfter) {
 | 
						|
      return base.indent(state.base, textAfter);
 | 
						|
    },
 | 
						|
    electricChars: base.electricChars,
 | 
						|
 | 
						|
    innerMode: function(state) { return {state: state.base, mode: base}; },
 | 
						|
 | 
						|
    blankLine: function(state) {
 | 
						|
      if (base.blankLine) base.blankLine(state.base);
 | 
						|
      if (overlay.blankLine) overlay.blankLine(state.overlay);
 | 
						|
    }
 | 
						|
  };
 | 
						|
};
 |