get
Returns padding of the the highlighted search result used when highlighting document text. This defaults to R.dimen#pspdf__search_result_padding.
Return
Padding of the highlighted search result used for text results (in pixels).