get
Returns padding of the highlighted search result used when pop-out animating the currently selected search result. This defaults to pspdf__search_result_animation_padding.
Return
Padding of the highlighted search result used when pop-out animating the currently selected search result (in pixels).