| 1 |
(function() { |
| 2 |
"use strict"; |
| 3 |
|
| 4 |
CodeMirror.defineOption("fullScreen", false, function(cm, val, old) { |
| 5 |
if (old == CodeMirror.Init) old = false; |
| 6 |
if (!old == !val) return; |
| 7 |
if (val) setFullscreen(cm); |
| 8 |
else setNormal(cm); |
| 9 |
}); |
| 10 |
|
| 11 |
function setFullscreen(cm) { |
| 12 |
var wrap = cm.getWrapperElement(); |
| 13 |
cm.state.fullScreenRestore = {scrollTop: window.pageYOffset, scrollLeft: window.pageXOffset, |
| 14 |
width: wrap.style.width, height: wrap.style.height}; |
| 15 |
wrap.style.width = wrap.style.height = ""; |
| 16 |
wrap.className += " CodeMirror-fullscreen"; |
| 17 |
document.documentElement.style.overflow = "hidden"; |
| 18 |
cm.refresh(); |
| 19 |
} |
| 20 |
|
| 21 |
function setNormal(cm) { |
| 22 |
var wrap = cm.getWrapperElement(); |
| 23 |
wrap.className = wrap.className.replace(/\s*CodeMirror-fullscreen\b/, ""); |
| 24 |
document.documentElement.style.overflow = ""; |
| 25 |
var info = cm.state.fullScreenRestore; |
| 26 |
wrap.style.width = info.width; wrap.style.height = info.height; |
| 27 |
window.scrollTo(info.scrollLeft, info.scrollTop); |
| 28 |
cm.refresh(); |
| 29 |
} |
| 30 |
})(); |
| 31 |
|
