| java.lang.Object javax.swing.text.ContentPositions
ContentPositions | abstract class ContentPositions (Code) | | |
deletePositions | public void deletePositions()(Code) | | Deletes position instances from the list that were cleared by the garbage
collector. It is called (or must be called) in the methods modifying this
list before the modification is done.
|
getOffsetForDocumentMark | abstract protected int getOffsetForDocumentMark(int index)(Code) | | |
getPositionsInRange | public Vector getPositionsInRange(Vector vector, int offset, int len)(Code) | | |
moveMarkIndexes | public void moveMarkIndexes(int startIndex, int diff)(Code) | | |
moveMarkIndexes | public void moveMarkIndexes(int startIndex, int endIndex, int diff)(Code) | | |
setMarkIndexes | public void setMarkIndexes(int startIndex, int endIndex, int newIndex)(Code) | | |
setOffsetForDocumentMark | abstract protected int setOffsetForDocumentMark(int offset)(Code) | | |
updateUndoPositions | public void updateUndoPositions(Vector positions)(Code) | | |
|
|