2017-02-12 12:14:31 +13:00
|
|
|
import asyncio
|
|
|
|
import discord
|
|
|
|
|
2017-03-08 11:35:30 +13:00
|
|
|
|
2017-02-12 12:14:31 +13:00
|
|
|
class CannotPaginate(Exception):
|
|
|
|
pass
|
|
|
|
|
2017-03-08 11:35:30 +13:00
|
|
|
|
2017-02-12 12:14:31 +13:00
|
|
|
class Pages:
|
|
|
|
"""Implements a paginator that queries the user for the
|
|
|
|
pagination interface.
|
|
|
|
|
|
|
|
Pages are 1-index based, not 0-index based.
|
|
|
|
|
|
|
|
If the user does not reply within 2 minutes, the pagination
|
|
|
|
interface exits automatically.
|
|
|
|
"""
|
2017-03-08 11:35:30 +13:00
|
|
|
|
2017-02-13 10:31:18 +13:00
|
|
|
def __init__(self, bot, *, message, entries, per_page=10):
|
2017-02-12 12:14:31 +13:00
|
|
|
self.bot = bot
|
|
|
|
self.entries = entries
|
|
|
|
self.message = message
|
|
|
|
self.author = message.author
|
|
|
|
self.per_page = per_page
|
|
|
|
pages, left_over = divmod(len(self.entries), self.per_page)
|
|
|
|
if left_over:
|
|
|
|
pages += 1
|
|
|
|
self.maximum_pages = pages
|
|
|
|
self.embed = discord.Embed()
|
|
|
|
self.paginating = len(entries) > per_page
|
|
|
|
self.reaction_emojis = [
|
|
|
|
('\N{BLACK LEFT-POINTING DOUBLE TRIANGLE WITH VERTICAL BAR}', self.first_page),
|
|
|
|
('\N{BLACK LEFT-POINTING TRIANGLE}', self.previous_page),
|
|
|
|
('\N{BLACK RIGHT-POINTING TRIANGLE}', self.next_page),
|
|
|
|
('\N{BLACK RIGHT-POINTING DOUBLE TRIANGLE WITH VERTICAL BAR}', self.last_page),
|
2017-03-08 11:35:30 +13:00
|
|
|
('\N{INPUT SYMBOL FOR NUMBERS}', self.numbered_page),
|
2017-02-12 12:14:31 +13:00
|
|
|
('\N{BLACK SQUARE FOR STOP}', self.stop_pages),
|
|
|
|
('\N{INFORMATION SOURCE}', self.show_help),
|
|
|
|
]
|
|
|
|
|
2017-03-08 11:35:30 +13:00
|
|
|
server = self.message.guild
|
2017-02-12 12:14:31 +13:00
|
|
|
if server is not None:
|
|
|
|
self.permissions = self.message.channel.permissions_for(server.me)
|
|
|
|
else:
|
|
|
|
self.permissions = self.message.channel.permissions_for(self.bot.user)
|
|
|
|
|
|
|
|
if not self.permissions.embed_links:
|
|
|
|
raise CannotPaginate('Bot does not have embed links permission.')
|
|
|
|
|
|
|
|
def get_page(self, page):
|
|
|
|
base = (page - 1) * self.per_page
|
|
|
|
return self.entries[base:base + self.per_page]
|
|
|
|
|
|
|
|
async def show_page(self, page, *, first=False):
|
|
|
|
self.current_page = page
|
|
|
|
entries = self.get_page(page)
|
|
|
|
p = []
|
|
|
|
for t in enumerate(entries, 1 + ((page - 1) * self.per_page)):
|
|
|
|
p.append('%s. %s' % t)
|
|
|
|
|
|
|
|
self.embed.set_footer(text='Page %s/%s (%s entries)' % (page, self.maximum_pages, len(self.entries)))
|
|
|
|
|
|
|
|
if not self.paginating:
|
|
|
|
self.embed.description = '\n'.join(p)
|
2017-03-08 11:35:30 +13:00
|
|
|
return await self.message.channel.send(embed=self.embed)
|
2017-02-12 12:14:31 +13:00
|
|
|
|
|
|
|
if not first:
|
|
|
|
self.embed.description = '\n'.join(p)
|
2017-03-11 09:25:37 +13:00
|
|
|
try:
|
|
|
|
await self.message.edit(embed=self.embed)
|
|
|
|
except discord.NotFound:
|
|
|
|
self.paginating = False
|
2017-02-12 12:14:31 +13:00
|
|
|
return
|
|
|
|
|
|
|
|
# verify we can actually use the pagination session
|
|
|
|
if not self.permissions.add_reactions:
|
|
|
|
raise CannotPaginate('Bot does not have add reactions permission.')
|
|
|
|
|
|
|
|
if not self.permissions.read_message_history:
|
|
|
|
raise CannotPaginate('Bot does not have Read Message History permission.')
|
|
|
|
|
|
|
|
p.append('')
|
|
|
|
p.append('Confused? React with \N{INFORMATION SOURCE} for more info.')
|
|
|
|
self.embed.description = '\n'.join(p)
|
2017-03-08 11:35:30 +13:00
|
|
|
self.message = await self.message.channel.send(embed=self.embed)
|
2017-02-12 12:14:31 +13:00
|
|
|
for (reaction, _) in self.reaction_emojis:
|
|
|
|
if self.maximum_pages == 2 and reaction in ('\u23ed', '\u23ee'):
|
|
|
|
# no |<< or >>| buttons if we only have two pages
|
|
|
|
# we can't forbid it if someone ends up using it but remove
|
|
|
|
# it from the default set
|
|
|
|
continue
|
2017-03-04 09:29:51 +13:00
|
|
|
try:
|
2017-03-08 11:35:30 +13:00
|
|
|
await self.message.add_reaction(reaction)
|
2017-03-04 09:29:51 +13:00
|
|
|
except discord.NotFound:
|
|
|
|
# If the message isn't found, we don't care about clearing anything
|
|
|
|
return
|
2017-02-12 12:14:31 +13:00
|
|
|
|
|
|
|
async def checked_show_page(self, page):
|
|
|
|
if page != 0 and page <= self.maximum_pages:
|
|
|
|
await self.show_page(page)
|
|
|
|
|
|
|
|
async def first_page(self):
|
|
|
|
"""goes to the first page"""
|
|
|
|
await self.show_page(1)
|
|
|
|
|
|
|
|
async def last_page(self):
|
|
|
|
"""goes to the last page"""
|
|
|
|
await self.show_page(self.maximum_pages)
|
|
|
|
|
|
|
|
async def next_page(self):
|
|
|
|
"""goes to the next page"""
|
|
|
|
await self.checked_show_page(self.current_page + 1)
|
|
|
|
|
|
|
|
async def previous_page(self):
|
|
|
|
"""goes to the previous page"""
|
|
|
|
await self.checked_show_page(self.current_page - 1)
|
|
|
|
|
|
|
|
async def show_current_page(self):
|
|
|
|
if self.paginating:
|
|
|
|
await self.show_page(self.current_page)
|
|
|
|
|
|
|
|
async def numbered_page(self):
|
|
|
|
"""lets you type a page number to go to"""
|
|
|
|
to_delete = []
|
2017-03-08 11:35:30 +13:00
|
|
|
to_delete.append(await self.message.channel.send('What page do you want to go to?'))
|
2017-03-08 12:47:00 +13:00
|
|
|
|
2017-03-08 11:35:30 +13:00
|
|
|
def check(m):
|
|
|
|
if m.author == self.author and m.channel == self.message.channel:
|
|
|
|
return m.content.isdigit()
|
|
|
|
else:
|
|
|
|
return False
|
2017-03-08 12:47:00 +13:00
|
|
|
|
|
|
|
try:
|
|
|
|
msg = await self.bot.wait_for('message', check=check, timeout=30.0)
|
|
|
|
except asyncio.TimeoutError:
|
|
|
|
msg = None
|
2017-02-12 12:14:31 +13:00
|
|
|
if msg is not None:
|
|
|
|
page = int(msg.content)
|
|
|
|
to_delete.append(msg)
|
|
|
|
if page != 0 and page <= self.maximum_pages:
|
|
|
|
await self.show_page(page)
|
|
|
|
else:
|
2017-03-08 11:35:30 +13:00
|
|
|
to_delete.append(await self.message.channel.send(
|
|
|
|
'Invalid page given. (%s/%s)' % (page, self.maximum_pages)))
|
2017-02-12 12:14:31 +13:00
|
|
|
await asyncio.sleep(5)
|
|
|
|
else:
|
2017-03-08 11:35:30 +13:00
|
|
|
to_delete.append(await self.message.channel.send('Took too long.'))
|
2017-02-12 12:14:31 +13:00
|
|
|
await asyncio.sleep(5)
|
|
|
|
|
|
|
|
try:
|
2017-03-08 11:35:30 +13:00
|
|
|
await self.message.channel.delete_messages(to_delete)
|
2017-02-12 12:14:31 +13:00
|
|
|
except Exception:
|
|
|
|
pass
|
|
|
|
|
|
|
|
async def show_help(self):
|
|
|
|
"""shows this message"""
|
|
|
|
e = discord.Embed()
|
2017-03-08 11:35:30 +13:00
|
|
|
messages = ['Welcome to the interactive paginator!\n',
|
|
|
|
'This interactively allows you to see pages of text by navigating with '
|
|
|
|
'reactions. They are as follows:\n']
|
2017-02-12 12:14:31 +13:00
|
|
|
|
|
|
|
for (emoji, func) in self.reaction_emojis:
|
|
|
|
messages.append('%s %s' % (emoji, func.__doc__))
|
|
|
|
|
|
|
|
e.description = '\n'.join(messages)
|
2017-03-08 11:35:30 +13:00
|
|
|
e.colour = 0x738bd7 # blurple
|
2017-02-12 12:14:31 +13:00
|
|
|
e.set_footer(text='We were on page %s before this message.' % self.current_page)
|
2017-03-08 11:35:30 +13:00
|
|
|
await self.message.edit(embed=e)
|
2017-02-12 12:14:31 +13:00
|
|
|
|
|
|
|
async def go_back_to_current_page():
|
|
|
|
await asyncio.sleep(60.0)
|
|
|
|
await self.show_current_page()
|
|
|
|
|
|
|
|
self.bot.loop.create_task(go_back_to_current_page())
|
|
|
|
|
|
|
|
async def stop_pages(self):
|
|
|
|
"""stops the interactive pagination session"""
|
2017-03-08 11:35:30 +13:00
|
|
|
await self.message.delete()
|
2017-02-12 12:14:31 +13:00
|
|
|
self.paginating = False
|
|
|
|
|
|
|
|
def react_check(self, reaction, user):
|
2017-03-20 15:47:06 +13:00
|
|
|
if user is None or user.id != self.author.id or reaction.message.id != self.message.id:
|
2017-02-12 12:14:31 +13:00
|
|
|
return False
|
|
|
|
|
|
|
|
for (emoji, func) in self.reaction_emojis:
|
|
|
|
if reaction.emoji == emoji:
|
|
|
|
self.match = func
|
|
|
|
return True
|
|
|
|
return False
|
|
|
|
|
2017-02-18 13:00:13 +13:00
|
|
|
async def paginate(self, start_page=1):
|
2017-02-12 12:14:31 +13:00
|
|
|
"""Actually paginate the entries and run the interactive loop if necessary."""
|
2017-02-18 13:00:13 +13:00
|
|
|
await self.show_page(start_page, first=True)
|
2017-02-12 12:14:31 +13:00
|
|
|
|
|
|
|
while self.paginating:
|
2017-03-08 12:47:00 +13:00
|
|
|
try:
|
2017-03-10 11:28:08 +13:00
|
|
|
react, user = await self.bot.wait_for('reaction_add', check=self.react_check, timeout=120.0)
|
2017-03-08 12:47:00 +13:00
|
|
|
except asyncio.TimeoutError:
|
2017-02-12 12:14:31 +13:00
|
|
|
self.paginating = False
|
|
|
|
try:
|
2017-03-08 11:35:30 +13:00
|
|
|
await self.message.clear_reactions()
|
2017-02-12 12:14:31 +13:00
|
|
|
except:
|
|
|
|
pass
|
|
|
|
finally:
|
|
|
|
break
|
|
|
|
|
|
|
|
try:
|
2017-03-10 11:28:08 +13:00
|
|
|
await self.message.remove_reaction(react.emoji, user)
|
2017-02-12 12:14:31 +13:00
|
|
|
except:
|
2017-03-08 11:35:30 +13:00
|
|
|
pass # can't remove it so don't bother doing so
|
2017-02-12 12:14:31 +13:00
|
|
|
|
|
|
|
await self.match()
|
2017-03-11 16:05:42 +13:00
|
|
|
|
|
|
|
class DetailedPages(Pages):
|
|
|
|
"""A class built on the normal Paginator, except with the idea that you want one 'thing' per page
|
|
|
|
This allows the ability to have more data on a page, more fields, etc. and page through each 'thing'"""
|
|
|
|
|
|
|
|
def __init__(self, *args, **kwargs):
|
|
|
|
kwargs['per_page'] = 1
|
|
|
|
super().__init__(*args, **kwargs)
|
|
|
|
|
|
|
|
def get_page(self, page):
|
|
|
|
return self.entries[page - 1]
|
|
|
|
|
|
|
|
async def show_page(self, page, *, first=False):
|
|
|
|
self.current_page = page
|
|
|
|
entries = self.get_page(page)
|
|
|
|
|
|
|
|
self.embed.set_footer(text='Page %s/%s (%s entries)' % (page, self.maximum_pages, len(self.entries)))
|
|
|
|
self.embed.clear_fields()
|
|
|
|
self.embed.description = ""
|
|
|
|
|
|
|
|
for key, value in entries.items():
|
|
|
|
if key == 'fields':
|
|
|
|
for f in value:
|
|
|
|
self.embed.add_field(name=f.get('name'), value=f.get('value'), inline=f.get('inline', True))
|
|
|
|
else:
|
|
|
|
setattr(self.embed, key, value)
|
|
|
|
|
|
|
|
if not self.paginating:
|
|
|
|
return await self.message.channel.send(embed=self.embed)
|
|
|
|
|
|
|
|
if not first:
|
|
|
|
try:
|
|
|
|
await self.message.edit(embed=self.embed)
|
|
|
|
except discord.NotFound:
|
|
|
|
self.paginating = False
|
|
|
|
return
|
|
|
|
|
|
|
|
# verify we can actually use the pagination session
|
|
|
|
if not self.permissions.add_reactions:
|
|
|
|
raise CannotPaginate('Bot does not have add reactions permission.')
|
|
|
|
|
|
|
|
if not self.permissions.read_message_history:
|
|
|
|
raise CannotPaginate('Bot does not have Read Message History permission.')
|
|
|
|
|
|
|
|
if self.embed.description:
|
|
|
|
self.embed.description += '\nConfused? React with \N{INFORMATION SOURCE} for more info.'
|
|
|
|
else:
|
|
|
|
self.embed.description = '\nConfused? React with \N{INFORMATION SOURCE} for more info.'
|
|
|
|
|
|
|
|
self.message = await self.message.channel.send(embed=self.embed)
|
|
|
|
for (reaction, _) in self.reaction_emojis:
|
|
|
|
if self.maximum_pages == 2 and reaction in ('\u23ed', '\u23ee'):
|
|
|
|
# no |<< or >>| buttons if we only have two pages
|
|
|
|
# we can't forbid it if someone ends up using it but remove
|
|
|
|
# it from the default set
|
|
|
|
continue
|
|
|
|
try:
|
|
|
|
await self.message.add_reaction(reaction)
|
|
|
|
except discord.NotFound:
|
|
|
|
# If the message isn't found, we don't care about clearing anything
|
|
|
|
return
|