|
|
|
|
422
|
// Make sure the GestureDetector is big enough to be easily interactive.
|
422
|
// Make sure the GestureDetector is big enough to be easily interactive.
|
423
|
final Rect interactiveRect = handleRect.expandToInclude(
|
423
|
final Rect interactiveRect = handleRect.expandToInclude(
|
424
|
Rect.fromCircle(
|
424
|
Rect.fromCircle(
|
425
|
- center: handleRect.center, radius: kMinInteractiveSize / 2),
|
|
|
|
|
425
|
+ center: handleRect.center, radius: kMinInteractiveDimension / 2),
|
426
|
);
|
426
|
);
|
427
|
final RelativeRect padding = RelativeRect.fromLTRB(
|
427
|
final RelativeRect padding = RelativeRect.fromLTRB(
|
428
|
math.max((interactiveRect.width - handleRect.width) / 2, 0),
|
428
|
math.max((interactiveRect.width - handleRect.width) / 2, 0),
|