menu
hover package
documentation
widgets.dart
HoverText
topPadding property
topPadding property
dark_mode
light_mode
topPadding
property
double
?
topPadding
final
Implementation
final double? topPadding;
hover package
documentation
widgets
HoverText
topPadding property
HoverText class