Gecko [ gandhischool.edu.np ]

Name	Size	Permission
autorefresh.js	1.51 KB	-rw-r--r--
fullscreen.css	116 B	-rw-r--r--
fullscreen.js	1.46 KB	-rw-r--r--
panel.js	4.55 KB	-rw-r--r--
placeholder.js	2.76 KB	-rw-r--r--
rulers.js	1.87 KB	-rw-r--r--

Code Editor : rulers.js

// 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("rulers", false, function(cm, val) {
    if (cm.state.rulerDiv) {
      cm.state.rulerDiv.parentElement.removeChild(cm.state.rulerDiv)
      cm.state.rulerDiv = null
      cm.off("refresh", drawRulers)
    }
    if (val && val.length) {
      cm.state.rulerDiv = cm.display.lineSpace.parentElement.insertBefore(document.createElement("div"), cm.display.lineSpace)
      cm.state.rulerDiv.className = "CodeMirror-rulers"
      drawRulers(cm)
      cm.on("refresh", drawRulers)
    }
  });

${this.title}

Code Editor : rulers.js