Vaani/lib/features/player/view/mini_player_bottom_padding.dart
rang 3ba35b31b8 一堆乱七八糟的修改
播放页面增加桌面版
2025-11-28 17:05:35 +08:00

17 lines
640 B
Dart

import 'package:flutter/material.dart';
import 'package:hooks_riverpod/hooks_riverpod.dart';
import 'package:vaani/features/player/providers/player_status_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),
child: ref.watch(playerStatusProvider).isPlaying()
? const SizedBox(height: playerMinHeight + 8)
: const SizedBox.shrink(),
);
}
}