marijnh/CodeMirror — pull request #1100 by njx (2012-12-18 22:13:05+00:00)
Title: Ignore certain events when target is inside a line widget

The CM scroller handles some events like paste and context menus. When the target is in a line widget, CM shouldn't handle these events. This is a generalization of the logic in `onMouseDown()` that already ignores mouse events inside widgets.