extension constant

double const extension

The default amount the thumb should be extended horizontally when pressed.

Implementation

static const double extension = 7.0;