foldingIconSize property

double? foldingIconSize

The size of the folding icon in the gutter. Defaults to (widget?.textStyle?.fontSize ?? 14) * 1.2.

/// Recommended to leave it null, because the default value is dynamic based on editor fontSize.

Implementation

final double? foldingIconSize;