2020-06-04 11:21:47 +00:00
|
|
|
|
using System.Collections.Generic;
|
|
|
|
|
|
|
|
|
|
using DSharpPlus.Entities;
|
|
|
|
|
|
2020-06-13 19:49:31 +00:00
|
|
|
|
using NodaTime;
|
|
|
|
|
|
2020-06-06 23:30:19 +00:00
|
|
|
|
using PluralKit.Core;
|
|
|
|
|
|
2020-06-04 11:21:47 +00:00
|
|
|
|
namespace PluralKit.Bot
|
|
|
|
|
{
|
|
|
|
|
public interface IListRenderer
|
|
|
|
|
{
|
|
|
|
|
int MembersPerPage { get; }
|
2020-06-13 19:49:31 +00:00
|
|
|
|
void RenderPage(DiscordEmbedBuilder eb, DateTimeZone zone, IEnumerable<ListedMember> members);
|
2020-06-04 11:21:47 +00:00
|
|
|
|
}
|
|
|
|
|
}
|