- * deletion. if (pos < -1) throw new
- * Error("pos<-1 is not supported."); while (o<length) { if
- * (operation[o] != D) { if ( (cursor + this.range[o]) < pos) {
- * cursor += this.range[o]; o++; last_d=false; } else { break; } }
- * else { last_d=true; o++; } } if (o==length) { // must insert more
- * operations before pos if (pos-cursor>0) addInsertion(pos-cursor);
- * // then just add the new operation. Regardless of what it is.
- * addOperation(op, range); } else { int diff = pos - cursor;
+ * deletion. if (pos < -1) throw new Error("pos<-1 is not
+ * supported."); while (o<length) { if (operation[o] != D) { if (
+ * (cursor + this.range[o]) < pos) { cursor += this.range[o]; o++;
+ * last_d=false; } else { break; } } else { last_d=true; o++; } } if
+ * (o==length) { // must insert more operations before pos if
+ * (pos-cursor>0) addInsertion(pos-cursor); // then just add the new
+ * operation. Regardless of what it is. addOperation(op, range); }
+ * else { int diff = pos - cursor;