Package org.eclipse.jface.text
Interface IPaintPositionManager
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
managePosition(Position position)
Starts managing the given position untilunmanagePosition
is called.void
unmanagePosition(Position position)
Stops managing the given position.
-
-
-
Method Detail
-
managePosition
void managePosition(Position position)
Starts managing the given position untilunmanagePosition
is called.- Parameters:
position
- the position to manage- See Also:
unmanagePosition(Position)
-
unmanagePosition
void unmanagePosition(Position position)
Stops managing the given position. If the position is not managed by this managed, this call has no effect.- Parameters:
position
- the position that should no longer be managed
-
-