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