Package org.eclipse.jface.text

Interface IPaintPositionManager

public interface IPaintPositionManager
Manages and updates positions used by IPainters.
Since:
2.1
See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    managePosition(Position position)
    Starts managing the given position until unmanagePosition is called.
    void
    unmanagePosition(Position position)
    Stops managing the given position.

  • Method Details

    • managePosition

      void managePosition(Position position)
      Starts managing the given position until unmanagePosition is called.
      Parameters:
      position - the position to manage
      See Also:

    • 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