java.lang.Object
org.eclipse.jface.text.DefaultPositionUpdater
com.port80.eclipse.editors.util.RegionContentFormatter.NonDeletingPositionUpdater
- All Implemented Interfaces:
- org.eclipse.jface.text.IPositionUpdater
- Enclosing class:
- RegionContentFormatter
- class RegionContentFormatter.NonDeletingPositionUpdater
- extends org.eclipse.jface.text.DefaultPositionUpdater
The position updater used to adapt all to update the
remembered partitions.
|
Method Summary |
protected boolean |
notDeleted()
Determines whether the currently investigated position has been deleted by
the replace operation specified in the current event. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RegionContentFormatter.NonDeletingPositionUpdater
protected RegionContentFormatter.NonDeletingPositionUpdater(java.lang.String category)
notDeleted
protected boolean notDeleted()
- Description copied from class:
org.eclipse.jface.text.DefaultPositionUpdater
- Determines whether the currently investigated position has been deleted by
the replace operation specified in the current event. If so, it deletes
the position and removes it from the document's position category.