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

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

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

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

@Override
public void setPositionManager(IPaintPositionManager manager) {

}