(cursor, prevCursor)
| 3016 | event.addListener(mouseTarget, "drop", this.onDrop.bind(mouseHandler)); |
| 3017 | |
| 3018 | function scrollCursorIntoView(cursor, prevCursor) { |
| 3019 | var now = Date.now(); |
| 3020 | var vMovement = !prevCursor || cursor.row != prevCursor.row; |
| 3021 | var hMovement = !prevCursor || cursor.column != prevCursor.column; |
| 3022 | if (!cursorMovedTime || vMovement || hMovement) { |
| 3023 | editor.$blockScrolling += 1; |
| 3024 | editor.moveCursorToPosition(cursor); |
| 3025 | editor.$blockScrolling -= 1; |
| 3026 | cursorMovedTime = now; |
| 3027 | cursorPointOnCaretMoved = {x: x, y: y}; |
| 3028 | } else { |
| 3029 | var distance = calcDistance(cursorPointOnCaretMoved.x, cursorPointOnCaretMoved.y, x, y); |
| 3030 | if (distance > SCROLL_CURSOR_HYSTERESIS) { |
| 3031 | cursorMovedTime = null; |
| 3032 | } else if (now - cursorMovedTime >= SCROLL_CURSOR_DELAY) { |
| 3033 | editor.renderer.scrollCursorIntoView(); |
| 3034 | cursorMovedTime = null; |
| 3035 | } |
| 3036 | } |
| 3037 | } |
| 3038 | |
| 3039 | function autoScroll(cursor, prevCursor) { |
| 3040 | var now = Date.now(); |
no test coverage detected