* Update CodeMirror to version 5.49.0 * Update CodeMirror versions in librejs and VERSIONS
		
			
				
	
	
		
			41 lines
		
	
	
	
		
			1.5 KiB
		
	
	
	
		
			JavaScript
		
	
	
	
	
	
			
		
		
	
	
			41 lines
		
	
	
	
		
			1.5 KiB
		
	
	
	
		
			JavaScript
		
	
	
	
	
	
// CodeMirror, copyright (c) by Marijn Haverbeke and others
 | 
						|
// Distributed under an MIT license: https://codemirror.net/LICENSE
 | 
						|
 | 
						|
(function(mod) {
 | 
						|
  if (typeof exports == "object" && typeof module == "object") // CommonJS
 | 
						|
    mod(require("../../lib/codemirror"));
 | 
						|
  else if (typeof define == "function" && define.amd) // AMD
 | 
						|
    define(["../../lib/codemirror"], mod);
 | 
						|
  else // Plain browser env
 | 
						|
    mod(CodeMirror);
 | 
						|
})(function(CodeMirror) {
 | 
						|
  "use strict";
 | 
						|
 | 
						|
  CodeMirror.defineOption("fullScreen", false, function(cm, val, old) {
 | 
						|
    if (old == CodeMirror.Init) old = false;
 | 
						|
    if (!old == !val) return;
 | 
						|
    if (val) setFullscreen(cm);
 | 
						|
    else setNormal(cm);
 | 
						|
  });
 | 
						|
 | 
						|
  function setFullscreen(cm) {
 | 
						|
    var wrap = cm.getWrapperElement();
 | 
						|
    cm.state.fullScreenRestore = {scrollTop: window.pageYOffset, scrollLeft: window.pageXOffset,
 | 
						|
                                  width: wrap.style.width, height: wrap.style.height};
 | 
						|
    wrap.style.width = "";
 | 
						|
    wrap.style.height = "auto";
 | 
						|
    wrap.className += " CodeMirror-fullscreen";
 | 
						|
    document.documentElement.style.overflow = "hidden";
 | 
						|
    cm.refresh();
 | 
						|
  }
 | 
						|
 | 
						|
  function setNormal(cm) {
 | 
						|
    var wrap = cm.getWrapperElement();
 | 
						|
    wrap.className = wrap.className.replace(/\s*CodeMirror-fullscreen\b/, "");
 | 
						|
    document.documentElement.style.overflow = "";
 | 
						|
    var info = cm.state.fullScreenRestore;
 | 
						|
    wrap.style.width = info.width; wrap.style.height = info.height;
 | 
						|
    window.scrollTo(info.scrollLeft, info.scrollTop);
 | 
						|
    cm.refresh();
 | 
						|
  }
 | 
						|
});
 |