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