margin constant

double const margin

Margin, used to add margin to widgets.

Implementation

static const double margin = 8.0;