(cm, x, y)
| 4987 | } |
| 4988 | |
| 4989 | function scrollToCoords(cm, x, y) { |
| 4990 | if (x != null || y != null) { |
| 4991 | resolveScrollToPos(cm) |
| 4992 | } |
| 4993 | if (x != null) { |
| 4994 | cm.curOp.scrollLeft = x |
| 4995 | } |
| 4996 | if (y != null) { |
| 4997 | cm.curOp.scrollTop = y |
| 4998 | } |
| 4999 | } |
| 5000 | |
| 5001 | function scrollToRange(cm, range$$1) { |
| 5002 | resolveScrollToPos(cm) |
no test coverage detected