Package org.eclipse.jface.text
Interface IPaintPositionManager
public interface IPaintPositionManager
Manages and updates positions used by
IPainter
s.- Since:
- 2.1
- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionvoid
managePosition
(Position position) Starts managing the given position untilunmanagePosition
is called.void
unmanagePosition
(Position position) Stops managing the given position.
-
Method Details
-
managePosition
Starts managing the given position untilunmanagePosition
is called.- Parameters:
position
- the position to manage- See Also:
-
unmanagePosition
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
-