paginationSize property

double paginationSize
final

If the custom pagination widget is not used. These properties are used to customize default pagination widget. Size of the default pagination widget.

If this property is null, then paginationSize 48 is be used.

Implementation

/// Size of the default pagination widget.
///
/// If this property is null, then paginationSize 48 is be used.
final double paginationSize;