highlightBorderWidthDelta property

double highlightBorderWidthDelta
final

Additional width added to the highlight border.

The highlight border width is borderWidth + highlightBorderWidthDelta. Default is 1.0, making highlights slightly thicker than selection borders.

Implementation

final double highlightBorderWidthDelta;