void function ( ) { lineID . removeListener ( this ) ; lineID . stopTracking ( ) ; allHighlights . remove ( this ) ; }
notify this line highlight that it is no longer used . call this for cleanup before the linehighlight is discarded . concode_field_sep JavaEditor editor concode_elem_sep Color bgColor concode_elem_sep Color markerColor concode_elem_sep String marker concode_elem_sep int priority concode_elem_sep LineID lineID concode_elem_sep Set<LineHighlight> allHighlights concode_field_sep void setMarker concode_elem_sep void setMarker concode_elem_sep boolean isOnLine concode_elem_sep LineID getLineID concode_elem_sep void clear concode_elem_sep Color getColor concode_elem_sep void paint concode_elem_sep int priority concode_elem_sep void setPriority concode_elem_sep void lineChanged concode_elem_sep boolean isHighestPriority