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