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