Lines Matching refs:UndoPosRef
701 * Returns a Vector containing instances of UndoPosRef for the
744 placeIn.addElement(new UndoPosRef(marks.elementAt(counter)));
750 * Resets the location for all the UndoPosRef instances
756 * @param positions the UndoPosRef instances to reset
775 UndoPosRef ref = (UndoPosRef)positions.elementAt(counter);
826 final class UndoPosRef {
827 UndoPosRef(MarkData rec) {
852 } // End of GapContent.UndoPosRef
899 /** An array of instances of UndoPosRef for the Positions in the
950 /** An array of instances of UndoPosRef for the Positions in the