(cursor)
| 550 | var current = pointer % size; |
| 551 | var curMark = buffer[current]; |
| 552 | function useNextSlot(cursor) { |
| 553 | var next = ++pointer % size; |
| 554 | var trashMark = buffer[next]; |
| 555 | if (trashMark) { |
| 556 | trashMark.clear(); |
| 557 | } |
| 558 | buffer[next] = cm.setBookmark(cursor); |
| 559 | } |
| 560 | if (curMark) { |
| 561 | var markPos = curMark.find(); |
| 562 | // avoid recording redundant cursor position |