2024-10-06 05:45:14 -04:00
|
|
|
import 'package:flutter/material.dart';
|
|
|
|
|
import 'package:hooks_riverpod/hooks_riverpod.dart';
|
2025-11-28 17:05:35 +08:00
|
|
|
import 'package:vaani/features/player/providers/player_status_provider.dart';
|
|
|
|
|
import 'package:vaani/globals.dart' show playerMinHeight;
|
2024-10-06 05:45:14 -04:00
|
|
|
|
|
|
|
|
class MiniPlayerBottomPadding extends HookConsumerWidget {
|
|
|
|
|
const MiniPlayerBottomPadding({super.key});
|
|
|
|
|
@override
|
|
|
|
|
Widget build(BuildContext context, WidgetRef ref) {
|
|
|
|
|
return AnimatedSize(
|
|
|
|
|
duration: const Duration(milliseconds: 200),
|
2025-11-28 17:05:35 +08:00
|
|
|
child: ref.watch(playerStatusProvider).isPlaying()
|
2024-10-06 05:45:14 -04:00
|
|
|
? const SizedBox(height: playerMinHeight + 8)
|
|
|
|
|
: const SizedBox.shrink(),
|
|
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
}
|