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