code: function saveAfter(pos) {
          if (self.history.textAfter(pos.node).length > pos.offset) {
            self.line = pos.node;
            self.offset = pos.offset + 1;
          }
          else {
            self.line = self.history.nodeAfter(pos.node);
            self.offset = 0;
          }
        }
docs: Set the cursor's position one character after the given position.