(e)
| 32 | CodeMirror.off(document, "mouseup", done); |
| 33 | } |
| 34 | function move(e) { |
| 35 | if (e.which != 1) return done(); |
| 36 | self.moveTo(startpos + (e[axis] - start) * (self.total / self.size)); |
| 37 | } |
| 38 | CodeMirror.on(document, "mousemove", move); |
| 39 | CodeMirror.on(document, "mouseup", done); |
| 40 | }); |