From d0b7c39efd3efcf9c41fa3a734d3303cf443b1bc Mon Sep 17 00:00:00 2001 From: stonegate Date: Wed, 12 Aug 2020 02:08:22 +0800 Subject: [PATCH] Change playlist animation in player widget. --- lib/home/audioplayer.dart | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/lib/home/audioplayer.dart b/lib/home/audioplayer.dart index 5f58482..fe66abd 100644 --- a/lib/home/audioplayer.dart +++ b/lib/home/audioplayer.dart @@ -558,13 +558,15 @@ class _PlaylistWidgetState extends State { episodesToPlay.insert(0, episdoe); miniPlaylistKey.currentState.removeItem( index, - (context, animation) => Center(), - duration: Duration(milliseconds: 200), + (context, animation) { + return Center(); + }, + duration: Duration.zero, ); miniPlaylistKey.currentState.insertItem(0, duration: Duration(milliseconds: 100)); await Future.delayed( - Duration(milliseconds: 300)); + Duration(milliseconds: 100)); await audio .moveToTop(data.item1[index + 1]); }, @@ -1389,7 +1391,7 @@ class _ControlPanelState extends State width: 100, child: Text( data.item1.feedTitle, - maxLines: 2, + maxLines: 1, overflow: TextOverflow.fade, ), ),