extraRegionPosition property

ExtraRegionPosition extraRegionPosition
getter/setter pair

Optional override for the vertical split ratio during hover.

Implementation

ExtraRegionPosition extraRegionPosition;