(cm, button, pos, repeat, event)
| 7328 | } |
| 7329 | |
| 7330 | function handleMappedButton(cm, button, pos, repeat, event) { |
| 7331 | var name = "Click"; |
| 7332 | if (repeat == "double") { name = "Double" + name; } |
| 7333 | else if (repeat == "triple") { name = "Triple" + name; } |
| 7334 | name = (button == 1 ? "Left" : button == 2 ? "Middle" : "Right") + name; |
| 7335 | |
| 7336 | return dispatchKey(cm, addModifierNames(name, event), event, function (bound) { |
| 7337 | if (typeof bound == "string") { bound = commands[bound]; } |
| 7338 | if (!bound) { return false } |
| 7339 | var done = false; |
| 7340 | try { |
| 7341 | if (cm.isReadOnly()) { cm.state.suppressEdits = true; } |
| 7342 | done = bound(cm, pos) != Pass; |
| 7343 | } finally { |
| 7344 | cm.state.suppressEdits = false; |
| 7345 | } |
| 7346 | return done |
| 7347 | }) |
| 7348 | } |
| 7349 | |
| 7350 | function configureMouse(cm, repeat, event) { |
| 7351 | var option = cm.getOption("configureMouse"); |
no test coverage detected