Function launchFullScreen

demo/debugger.js:367–376

(element)

  var isWindowedFullscreen = false;

  function launchFullScreen(element) {
    cm.setBounds();
    if (element.requestFullscreen) {
      element.requestFullscreen();
    } else if (element.mozRequestFullscreen) {
      element.mozRequestFullscreen();
    } else if (element.webkitRequestFullscreen) {
      element.webkitRequestFullscreen();
    }
  }

  function launchWindowFull(element, e2) {
    if (!isWindowedFullscreen) {