menu
diagram_editor package
documentation
diagram_editor.dart
ComponentHighlightPainter
dashWidth property
dashWidth property
dark_mode
light_mode
dashWidth
property
double
dashWidth
final
Implementation
final double dashWidth;
diagram_editor package
documentation
diagram_editor
ComponentHighlightPainter
dashWidth property
ComponentHighlightPainter class