divider property

PlutoDualGridDivider divider
final

Implementation

final PlutoDualGridDivider divider;