GutterStyle constructor
GutterStyle({
- TextStyle? lineNumberStyle,
- double? gutterWidth,
- IconData breakpointIcon = Icons.circle,
- IconData unfilledBreakpointIcon = Icons.circle_outlined,
- IconData foldedIcon = Icons.chevron_right_outlined,
- IconData unfoldedIcon = Icons.keyboard_arrow_down_outlined,
- Color? dividerColor,
- double? dividerThickness,
- double? breakpointSize,
- double? foldingIconSize,
- Color breakpointColor = Colors.red,
- Color unfilledBreakpointColor = Colors.transparent,
- Color foldedIconColor = Colors.grey,
- Color unfoldedIconColor = Colors.grey,
Implementation
GutterStyle({
this.lineNumberStyle,
this.gutterWidth,
this.breakpointIcon = Icons.circle,
this.unfilledBreakpointIcon = Icons.circle_outlined,
this.foldedIcon = Icons.chevron_right_outlined,
this.unfoldedIcon = Icons.keyboard_arrow_down_outlined,
this.dividerColor,
this.dividerThickness,
this.breakpointSize,
this.foldingIconSize,
this.breakpointColor = Colors.red,
this.unfilledBreakpointColor = Colors.transparent,
this.foldedIconColor = Colors.grey,
this.unfoldedIconColor = Colors.grey,
});