get
Returns padding of the highlighted search result used when highlighting annotations. This defaults to pspdf__search_result_annotation_padding.
Return
Padding of the highlighted search result used for annotation results (in pixels).