|
|
|
@ -94,6 +94,9 @@ function getState(cm, pos) {
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// Saved overflow setting
|
|
|
|
|
var saved_overflow = "";
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Toggle full screen of the editor.
|
|
|
|
|
*/
|
|
|
|
@ -101,6 +104,15 @@ function toggleFullScreen(editor) {
|
|
|
|
|
// Set fullscreen
|
|
|
|
|
var cm = editor.codemirror;
|
|
|
|
|
cm.setOption("fullScreen", !cm.getOption("fullScreen"));
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// Prevent scrolling on body during fullscreen active
|
|
|
|
|
if (cm.getOption("fullScreen")) {
|
|
|
|
|
saved_overflow = document.body.style.overflow;
|
|
|
|
|
document.body.style.overflow = "hidden";
|
|
|
|
|
} else {
|
|
|
|
|
document.body.style.overflow = saved_overflow;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// Update toolbar class
|
|
|
|
|