annotate .cms/lib/codemirror/addon/scroll/simplescrollbars.js @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 // Distributed under an MIT license: https://codemirror.net/5/LICENSE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 function Bar(cls, orientation, scroll) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 this.orientation = orientation;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 this.scroll = scroll;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 this.screen = this.total = this.size = 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 this.pos = 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 this.node = document.createElement("div");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 this.node.className = cls + "-" + orientation;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 this.inner = this.node.appendChild(document.createElement("div"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 var self = this;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 CodeMirror.on(this.inner, "mousedown", function(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 if (e.which != 1) return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 CodeMirror.e_preventDefault(e);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 var axis = self.orientation == "horizontal" ? "pageX" : "pageY";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 var start = e[axis], startpos = self.pos;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 function done() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 CodeMirror.off(document, "mousemove", move);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 CodeMirror.off(document, "mouseup", done);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 function move(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 if (e.which != 1) return done();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 self.moveTo(startpos + (e[axis] - start) * (self.total / self.size));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 CodeMirror.on(document, "mousemove", move);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 CodeMirror.on(document, "mouseup", done);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 CodeMirror.on(this.node, "click", function(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 CodeMirror.e_preventDefault(e);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 var innerBox = self.inner.getBoundingClientRect(), where;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 if (self.orientation == "horizontal")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 where = e.clientX < innerBox.left ? -1 : e.clientX > innerBox.right ? 1 : 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 where = e.clientY < innerBox.top ? -1 : e.clientY > innerBox.bottom ? 1 : 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 self.moveTo(self.pos + where * self.screen);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 function onWheel(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 var moved = CodeMirror.wheelEventPixels(e)[self.orientation == "horizontal" ? "x" : "y"];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 var oldPos = self.pos;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 self.moveTo(self.pos + moved);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 if (self.pos != oldPos) CodeMirror.e_preventDefault(e);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 CodeMirror.on(this.node, "mousewheel", onWheel);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 CodeMirror.on(this.node, "DOMMouseScroll", onWheel);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 Bar.prototype.setPos = function(pos, force) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 if (pos < 0) pos = 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 if (pos > this.total - this.screen) pos = this.total - this.screen;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 if (!force && pos == this.pos) return false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 this.pos = pos;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 this.inner.style[this.orientation == "horizontal" ? "left" : "top"] =
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 (pos * (this.size / this.total)) + "px";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 return true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 Bar.prototype.moveTo = function(pos) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 if (this.setPos(pos)) this.scroll(pos, this.orientation);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 var minButtonSize = 10;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 Bar.prototype.update = function(scrollSize, clientSize, barSize) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 var sizeChanged = this.screen != clientSize || this.total != scrollSize || this.size != barSize
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 if (sizeChanged) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 this.screen = clientSize;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 this.total = scrollSize;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 this.size = barSize;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 var buttonSize = this.screen * (this.size / this.total);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 if (buttonSize < minButtonSize) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 this.size -= minButtonSize - buttonSize;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 buttonSize = minButtonSize;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 this.inner.style[this.orientation == "horizontal" ? "width" : "height"] =
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 buttonSize + "px";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 this.setPos(this.pos, sizeChanged);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 function SimpleScrollbars(cls, place, scroll) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 this.addClass = cls;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 this.horiz = new Bar(cls, "horizontal", scroll);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 place(this.horiz.node);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 this.vert = new Bar(cls, "vertical", scroll);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 place(this.vert.node);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 this.width = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 SimpleScrollbars.prototype.update = function(measure) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 if (this.width == null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 var style = window.getComputedStyle ? window.getComputedStyle(this.horiz.node) : this.horiz.node.currentStyle;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 if (style) this.width = parseInt(style.height);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 var width = this.width || 0;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 var needsH = measure.scrollWidth > measure.clientWidth + 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 var needsV = measure.scrollHeight > measure.clientHeight + 1;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 this.vert.node.style.display = needsV ? "block" : "none";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 this.horiz.node.style.display = needsH ? "block" : "none";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 if (needsV) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 this.vert.update(measure.scrollHeight, measure.clientHeight,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 measure.viewHeight - (needsH ? width : 0));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 this.vert.node.style.bottom = needsH ? width + "px" : "0";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 if (needsH) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 this.horiz.update(measure.scrollWidth, measure.clientWidth,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 measure.viewWidth - (needsV ? width : 0) - measure.barLeft);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 this.horiz.node.style.right = needsV ? width + "px" : "0";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 this.horiz.node.style.left = measure.barLeft + "px";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 return {right: needsV ? width : 0, bottom: needsH ? width : 0};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 SimpleScrollbars.prototype.setScrollTop = function(pos) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 this.vert.setPos(pos);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 SimpleScrollbars.prototype.setScrollLeft = function(pos) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 this.horiz.setPos(pos);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 SimpleScrollbars.prototype.clear = function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 var parent = this.horiz.node.parentNode;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 parent.removeChild(this.horiz.node);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 parent.removeChild(this.vert.node);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 CodeMirror.scrollbarModel.simple = function(place, scroll) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 return new SimpleScrollbars("CodeMirror-simplescroll", place, scroll);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 CodeMirror.scrollbarModel.overlay = function(place, scroll) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 return new SimpleScrollbars("CodeMirror-overlayscroll", place, scroll);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 });