FM / display

/home/techb158/immovalet.com/platform/core/base/public/libraries/codemirror/addon/display/

/home/techb158/immovalet.com/platform/core/base/public/libraries/codemirror/addon/display

Name	Size	Mode	Actions
autorefresh.js	1543	0644	edit dl rm
fullscreen.css	116	0644	edit dl rm
fullscreen.js	1494	0644	edit dl rm
panel.js	4278	0644	edit dl rm
placeholder.js	2139	0644	edit dl rm
rulers.js	1915	0644	edit dl rm

Edit: /home/techb158/immovalet.com/platform/core/base/public/libraries/codemirror/addon/display/rulers.js (1915B)

// CodeMirror, copyright (c) by Marijn Haverbeke and others
// Distributed under an MIT license: http://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)
    }
  });

cmd: