(cm, e)
| 406 | // textarea (making it as unobtrusive as possible) to let the |
| 407 | // right-click take effect on it. |
| 408 | export function onContextMenu(cm, e) { |
| 409 | if (eventInWidget(cm.display, e) || contextMenuInGutter(cm, e)) return |
| 410 | if (signalDOMEvent(cm, e, "contextmenu")) return |
| 411 | if (!captureRightClick) cm.display.input.onContextMenu(e) |
| 412 | } |
| 413 | |
| 414 | function contextMenuInGutter(cm, e) { |
| 415 | if (!hasHandler(cm, "gutterContextMenu")) return false |
no test coverage detected