margin property

double margin
final

Margin from the edge of the editor to the minimap.

Applied to both axes based on position.

Implementation

final double margin;