menu
flutter_code_crafter package
documentation
gutter/gutter_style.dart
GutterStyle
dividerThickness property
dividerThickness property
dark_mode
light_mode
dividerThickness
property
double
?
dividerThickness
final
The thickness of the vertical divider between gutter and editor.
Implementation
final double? dividerThickness;
flutter_code_crafter package
documentation
gutter/gutter_style
GutterStyle
dividerThickness property
GutterStyle class