Vaani/lib/features/player/view/mini_player_bottom_padding.dart

18 lines
623 B
Dart
Raw Normal View History

import 'package:flutter/material.dart';
import 'package:hooks_riverpod/hooks_riverpod.dart';
2025-12-08 23:46:43 +08:00
import 'package:vaani/features/player/providers/abs_provider.dart';
import 'package:vaani/globals.dart' show playerMinHeight;
class MiniPlayerBottomPadding extends HookConsumerWidget {
const MiniPlayerBottomPadding({super.key});
@override
Widget build(BuildContext context, WidgetRef ref) {
return AnimatedSize(
duration: const Duration(milliseconds: 200),
2025-12-12 15:38:47 +08:00
child: ref.watch(absPlayerProvider).playing
? const SizedBox(height: playerMinHeight + 8)
: const SizedBox.shrink(),
);
}
}