chore: Follow up request history

pull/1936/merge
Christian Kußowski 2 months ago
parent faf1cf42b2
commit dc64d1679b
No known key found for this signature in database
GPG Key ID: E067ECD60F1A0652

@ -84,9 +84,12 @@ class ChatEventList extends StatelessWidget {
// Request history button or progress indicator:
if (i == events.length + 1) {
if (controller.activeThreadId == null) {
return Builder(
builder: (context) {
if (controller.activeThreadId != null) {
return const SizedBox.shrink();
}
return Builder(
builder: (context) {
if (timeline.canRequestHistory) {
final visibleIndex = timeline.events.lastIndexWhere(
(event) =>
!event.isCollapsedState && event.isVisibleInGui,
@ -96,23 +99,22 @@ class ChatEventList extends StatelessWidget {
controller.requestHistory,
);
}
return Center(
child: AnimatedSwitcher(
duration: FluffyThemes.animationDuration,
child: timeline.canRequestHistory
? IconButton(
onPressed: controller.requestHistory,
icon: const Icon(Icons.refresh_outlined),
)
: const CircularProgressIndicator.adaptive(
strokeWidth: 2,
),
),
);
},
);
}
return const SizedBox.shrink();
}
return Center(
child: AnimatedSwitcher(
duration: FluffyThemes.animationDuration,
child: timeline.canRequestHistory
? IconButton(
onPressed: controller.requestHistory,
icon: const Icon(Icons.refresh_outlined),
)
: const CircularProgressIndicator.adaptive(
strokeWidth: 2,
),
),
);
},
);
}
i--;

Loading…
Cancel
Save