Function eventInWidget

external/.scrollLibs.js:3540–3546

(display, e)

  // Return true when the given mouse event happened in a widget
  function eventInWidget(display, e) {
    for (var n = e_target(e); n != display.wrapper; n = n.parentNode) {
      if (!n || (n.nodeType == 1 && n.getAttribute("cm-ignore-events") == "true") || (n.parentNode == display.sizer && n != display.mover)) {
        return true
      }
    }
  }

  // POSITION MEASUREMENT