2024-10-06 05:45:14 -04:00
|
|
|
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';
|
2025-11-28 17:05:35 +08:00
|
|
|
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-12-12 15:38:47 +08:00
|
|
|
child: ref.watch(absPlayerProvider).playing
|
2024-10-06 05:45:14 -04:00
|
|
|
? const SizedBox(height: playerMinHeight + 8)
|
|
|
|
|
: const SizedBox.shrink(),
|
|
|
|
|
);
|
|
|
|
|
}
|
|
|
|
|
}
|