mirror of https://github.com/stijndcl/didier
32 lines
1.2 KiB
Python
32 lines
1.2 KiB
Python
|
import discord
|
||
|
|
from discord.ext import menus
|
||
|
|
|
||
|
|
|
||
|
|
# https://github.com/Rapptz/discord-ext-menus
|
||
|
|
class Source(menus.ListPageSource):
|
||
|
|
def __init__(self, data, name, colour=discord.Colour.blue()):
|
||
|
|
super().__init__(data, per_page=10)
|
||
|
|
self.name = name
|
||
|
|
self.colour = colour
|
||
|
|
|
||
|
|
async def format_page(self, menu: menus.MenuPages, entries):
|
||
|
|
offset = menu.current_page * self.per_page
|
||
|
|
|
||
|
|
description = ""
|
||
|
|
for i, v in enumerate(entries, start=offset):
|
||
|
|
# Check if the person's name has to be highlighted
|
||
|
|
if v.startswith("**") and v.endswith("**"):
|
||
|
|
description += "**"
|
||
|
|
v = v[2:]
|
||
|
|
description += "{}: {}\n".format(i + 1, v)
|
||
|
|
embed = discord.Embed(colour=self.colour)
|
||
|
|
embed.set_author(name=self.name)
|
||
|
|
embed.description = description
|
||
|
|
embed.set_footer(text="{}/{}".format(menu.current_page + 1, self.get_max_pages()))
|
||
|
|
return embed
|
||
|
|
|
||
|
|
|
||
|
|
class Pages(menus.MenuPages):
|
||
|
|
def __init__(self, source, clear_reactions_after, timeout=30.0):
|
||
|
|
super().__init__(source, timeout=timeout, delete_message_after=True, clear_reactions_after=clear_reactions_after)
|