https://rtist.hcldoc.com/help/topic/org.eclipse.platform.doc.isv/reference/api/org/eclipse/jface/text/IPaintPositionManager.html
IPaintPositionManager (Eclipse Platform API Specification)
declaration: package: org.eclipse.jface.text, interface: IPaintPositionManager
eclipse platformapispecification