holePadding property

double holePadding

Extra margin added around the target's actual bounds before cutting the hole, so the highlight isn't a pixel-tight outline.

Implementation

final double holePadding;