| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152 | // 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";  function Bar(cls, orientation, scroll) {    this.orientation = orientation;    this.scroll = scroll;    this.screen = this.total = this.size = 1;    this.pos = 0;    this.node = document.createElement("div");    this.node.className = cls + "-" + orientation;    this.inner = this.node.appendChild(document.createElement("div"));    var self = this;    CodeMirror.on(this.inner, "mousedown", function(e) {      if (e.which != 1) return;      CodeMirror.e_preventDefault(e);      var axis = self.orientation == "horizontal" ? "pageX" : "pageY";      var start = e[axis], startpos = self.pos;      function done() {        CodeMirror.off(document, "mousemove", move);        CodeMirror.off(document, "mouseup", done);      }      function move(e) {        if (e.which != 1) return done();        self.moveTo(startpos + (e[axis] - start) * (self.total / self.size));      }      CodeMirror.on(document, "mousemove", move);      CodeMirror.on(document, "mouseup", done);    });    CodeMirror.on(this.node, "click", function(e) {      CodeMirror.e_preventDefault(e);      var innerBox = self.inner.getBoundingClientRect(), where;      if (self.orientation == "horizontal")        where = e.clientX < innerBox.left ? -1 : e.clientX > innerBox.right ? 1 : 0;      else        where = e.clientY < innerBox.top ? -1 : e.clientY > innerBox.bottom ? 1 : 0;      self.moveTo(self.pos + where * self.screen);    });    function onWheel(e) {      var moved = CodeMirror.wheelEventPixels(e)[self.orientation == "horizontal" ? "x" : "y"];      var oldPos = self.pos;      self.moveTo(self.pos + moved);      if (self.pos != oldPos) CodeMirror.e_preventDefault(e);    }    CodeMirror.on(this.node, "mousewheel", onWheel);    CodeMirror.on(this.node, "DOMMouseScroll", onWheel);  }  Bar.prototype.setPos = function(pos, force) {    if (pos < 0) pos = 0;    if (pos > this.total - this.screen) pos = this.total - this.screen;    if (!force && pos == this.pos) return false;    this.pos = pos;    this.inner.style[this.orientation == "horizontal" ? "left" : "top"] =      (pos * (this.size / this.total)) + "px";    return true  };  Bar.prototype.moveTo = function(pos) {    if (this.setPos(pos)) this.scroll(pos, this.orientation);  }  var minButtonSize = 10;  Bar.prototype.update = function(scrollSize, clientSize, barSize) {    var sizeChanged = this.screen != clientSize || this.total != scrollSize || this.size != barSize    if (sizeChanged) {      this.screen = clientSize;      this.total = scrollSize;      this.size = barSize;    }    var buttonSize = this.screen * (this.size / this.total);    if (buttonSize < minButtonSize) {      this.size -= minButtonSize - buttonSize;      buttonSize = minButtonSize;    }    this.inner.style[this.orientation == "horizontal" ? "width" : "height"] =      buttonSize + "px";    this.setPos(this.pos, sizeChanged);  };  function SimpleScrollbars(cls, place, scroll) {    this.addClass = cls;    this.horiz = new Bar(cls, "horizontal", scroll);    place(this.horiz.node);    this.vert = new Bar(cls, "vertical", scroll);    place(this.vert.node);    this.width = null;  }  SimpleScrollbars.prototype.update = function(measure) {    if (this.width == null) {      var style = window.getComputedStyle ? window.getComputedStyle(this.horiz.node) : this.horiz.node.currentStyle;      if (style) this.width = parseInt(style.height);    }    var width = this.width || 0;    var needsH = measure.scrollWidth > measure.clientWidth + 1;    var needsV = measure.scrollHeight > measure.clientHeight + 1;    this.vert.node.style.display = needsV ? "block" : "none";    this.horiz.node.style.display = needsH ? "block" : "none";    if (needsV) {      this.vert.update(measure.scrollHeight, measure.clientHeight,                       measure.viewHeight - (needsH ? width : 0));      this.vert.node.style.bottom = needsH ? width + "px" : "0";    }    if (needsH) {      this.horiz.update(measure.scrollWidth, measure.clientWidth,                        measure.viewWidth - (needsV ? width : 0) - measure.barLeft);      this.horiz.node.style.right = needsV ? width + "px" : "0";      this.horiz.node.style.left = measure.barLeft + "px";    }    return {right: needsV ? width : 0, bottom: needsH ? width : 0};  };  SimpleScrollbars.prototype.setScrollTop = function(pos) {    this.vert.setPos(pos);  };  SimpleScrollbars.prototype.setScrollLeft = function(pos) {    this.horiz.setPos(pos);  };  SimpleScrollbars.prototype.clear = function() {    var parent = this.horiz.node.parentNode;    parent.removeChild(this.horiz.node);    parent.removeChild(this.vert.node);  };  CodeMirror.scrollbarModel.simple = function(place, scroll) {    return new SimpleScrollbars("CodeMirror-simplescroll", place, scroll);  };  CodeMirror.scrollbarModel.overlay = function(place, scroll) {    return new SimpleScrollbars("CodeMirror-overlayscroll", place, scroll);  };});
 |