(display, e)
| 3529 | |
| 3530 | // Return true when the given mouse event happened in a widget |
| 3531 | function eventInWidget(display, e) { |
| 3532 | for (var n = e_target(e); n != display.wrapper; n = n.parentNode) { |
| 3533 | if (!n || (n.nodeType == 1 && n.getAttribute("cm-ignore-events") == "true") || |
| 3534 | (n.parentNode == display.sizer && n != display.mover)) |
| 3535 | return true; |
| 3536 | } |
| 3537 | } |
| 3538 | |
| 3539 | // Given a mouse event, find the corresponding position. If liberal |
| 3540 | // is false, it checks whether a gutter or scrollbar was clicked, |
no test coverage detected