org.eclipse.jface.text
Interface IPaintPositionManager
-
public interface IPaintPositionManager
Manages and updates positions used by
IPainter
s.
-
Since:
- 2.1
-
See Also:
-
IPainter
managePosition
void managePosition(
Position position)
- Starts managing the given position until
unmanagePosition
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
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.