(cm, e)
| 4261 | // textarea (making it as unobtrusive as possible) to let the |
| 4262 | // right-click take effect on it. |
| 4263 | function onContextMenu(cm, e) { |
| 4264 | if (eventInWidget(cm.display, e) || contextMenuInGutter(cm, e)) return; |
| 4265 | if (signalDOMEvent(cm, e, "contextmenu")) return; |
| 4266 | cm.display.input.onContextMenu(e); |
| 4267 | } |
| 4268 | |
| 4269 | function contextMenuInGutter(cm, e) { |
| 4270 | if (!hasHandler(cm, "gutterContextMenu")) return false; |
no test coverage detected