| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798 | 
							- // 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("selectionPointer", false, function(cm, val) {
 
-     var data = cm.state.selectionPointer;
 
-     if (data) {
 
-       CodeMirror.off(cm.getWrapperElement(), "mousemove", data.mousemove);
 
-       CodeMirror.off(cm.getWrapperElement(), "mouseout", data.mouseout);
 
-       CodeMirror.off(window, "scroll", data.windowScroll);
 
-       cm.off("cursorActivity", reset);
 
-       cm.off("scroll", reset);
 
-       cm.state.selectionPointer = null;
 
-       cm.display.lineDiv.style.cursor = "";
 
-     }
 
-     if (val) {
 
-       data = cm.state.selectionPointer = {
 
-         value: typeof val == "string" ? val : "default",
 
-         mousemove: function(event) { mousemove(cm, event); },
 
-         mouseout: function(event) { mouseout(cm, event); },
 
-         windowScroll: function() { reset(cm); },
 
-         rects: null,
 
-         mouseX: null, mouseY: null,
 
-         willUpdate: false
 
-       };
 
-       CodeMirror.on(cm.getWrapperElement(), "mousemove", data.mousemove);
 
-       CodeMirror.on(cm.getWrapperElement(), "mouseout", data.mouseout);
 
-       CodeMirror.on(window, "scroll", data.windowScroll);
 
-       cm.on("cursorActivity", reset);
 
-       cm.on("scroll", reset);
 
-     }
 
-   });
 
-   function mousemove(cm, event) {
 
-     var data = cm.state.selectionPointer;
 
-     if (event.buttons == null ? event.which : event.buttons) {
 
-       data.mouseX = data.mouseY = null;
 
-     } else {
 
-       data.mouseX = event.clientX;
 
-       data.mouseY = event.clientY;
 
-     }
 
-     scheduleUpdate(cm);
 
-   }
 
-   function mouseout(cm, event) {
 
-     if (!cm.getWrapperElement().contains(event.relatedTarget)) {
 
-       var data = cm.state.selectionPointer;
 
-       data.mouseX = data.mouseY = null;
 
-       scheduleUpdate(cm);
 
-     }
 
-   }
 
-   function reset(cm) {
 
-     cm.state.selectionPointer.rects = null;
 
-     scheduleUpdate(cm);
 
-   }
 
-   function scheduleUpdate(cm) {
 
-     if (!cm.state.selectionPointer.willUpdate) {
 
-       cm.state.selectionPointer.willUpdate = true;
 
-       setTimeout(function() {
 
-         update(cm);
 
-         cm.state.selectionPointer.willUpdate = false;
 
-       }, 50);
 
-     }
 
-   }
 
-   function update(cm) {
 
-     var data = cm.state.selectionPointer;
 
-     if (!data) return;
 
-     if (data.rects == null && data.mouseX != null) {
 
-       data.rects = [];
 
-       if (cm.somethingSelected()) {
 
-         for (var sel = cm.display.selectionDiv.firstChild; sel; sel = sel.nextSibling)
 
-           data.rects.push(sel.getBoundingClientRect());
 
-       }
 
-     }
 
-     var inside = false;
 
-     if (data.mouseX != null) for (var i = 0; i < data.rects.length; i++) {
 
-       var rect = data.rects[i];
 
-       if (rect.left <= data.mouseX && rect.right >= data.mouseX &&
 
-           rect.top <= data.mouseY && rect.bottom >= data.mouseY)
 
-         inside = true;
 
-     }
 
-     var cursor = inside ? data.value : "";
 
-     if (cm.display.lineDiv.style.cursor != cursor)
 
-       cm.display.lineDiv.style.cursor = cursor;
 
-   }
 
- });
 
 
  |