(cm, button, pos, repeat, event)
| 10029 | } |
| 10030 | |
| 10031 | function handleMappedButton(cm, button, pos, repeat, event) { |
| 10032 | var name = "Click" |
| 10033 | if (repeat == "double") { |
| 10034 | name = "Double" + name |
| 10035 | } else if (repeat == "triple") { |
| 10036 | name = "Triple" + name |
| 10037 | } |
| 10038 | name = (button == 1 ? "Left" : button == 2 ? "Middle" : "Right") + name |
| 10039 | |
| 10040 | return dispatchKey(cm, addModifierNames(name, event), event, function (bound) { |
| 10041 | if (typeof bound == "string") { |
| 10042 | bound = commands[bound] |
| 10043 | } |
| 10044 | if (!bound) { |
| 10045 | return false |
| 10046 | } |
| 10047 | var done = false |
| 10048 | try { |
| 10049 | if (cm.isReadOnly()) { |
| 10050 | cm.state.suppressEdits = true |
| 10051 | } |
| 10052 | done = bound(cm, pos) != Pass |
| 10053 | } finally { |
| 10054 | cm.state.suppressEdits = false |
| 10055 | } |
| 10056 | return done |
| 10057 | }) |
| 10058 | } |
| 10059 | |
| 10060 | function configureMouse(cm, repeat, event) { |
| 10061 | var option = cm.getOption("configureMouse") |
no test coverage detected