Java 类org.eclipse.jface.text.IPaintPositionManager 实例源码

项目：APICloud-Studio 文件：WhitespaceCharacterPainter.java

public void setPositionManager(IPaintPositionManager manager)
{
    // no need for a position manager
}

项目：APICloud-Studio 文件：LineBackgroundPainter.java

public void setPositionManager(IPaintPositionManager manager)
{
    fPositionManager = manager;
}

项目：IndentGuide 文件：IndentGuidePainter.java

public void setPositionManager(IPaintPositionManager manager) {
    // no need for a position manager
}

项目：codelens-eclipse 文件：ViewZoneChangeAccessor.java

@Override
public void setPositionManager(IPaintPositionManager manager) {

}