Community
Participate
Working Groups
3.5 RC1. We have to make the two constants protected: org.eclipse.ui.texteditor.AbstractTextEditor.TAG_SELECTION_TOP_PIXEL org.eclipse.ui.texteditor.AbstractTextEditor.TAG_SELECTION_HORIZONTAL_PIXEL
Fixed in HEAD.