Lines Matching refs:mark
229 PosRec mark = marks.elementAt(i);
230 if (mark.unused) {
235 } else if (mark.offset >= offset) {
236 mark.offset += length;
244 PosRec mark = marks.elementAt(i);
245 if (mark.unused) {
250 } else if (mark.offset >= (offset + length)) {
251 mark.offset -= length;
252 } else if (mark.offset >= offset) {
253 mark.offset = offset;
279 PosRec mark = marks.elementAt(i);
280 if (mark.unused) {
285 } else if(mark.offset >= offset && mark.offset <= end)
286 placeIn.addElement(new UndoPosRef(mark));
318 * holds the data for a mark... separately from
319 * the real mark so that the real mark can be