restWidth property

double restWidth

The offset to use to keep the main panel visible when the left or right panel is revealed.

Implementation

final double restWidth;