diff options
author | 2023-07-14 10:29:48 +0100 | |
---|---|---|
committer | 2023-07-14 10:29:48 +0100 | |
commit | c8ac92912a8fca54d175d2c5dc9018436df1a631 (patch) | |
tree | 3690a1bafc47852cdb6b392c50eeefbadfc3943f | |
parent | port the `LinePaginator` class (diff) |
add missing pagination_emojis in `LinePaginator.paginate`
This also renames the moduel to `pagination`
-rw-r--r-- | pydis_core/utils/pagination.py (renamed from pydis_core/utils/paginator.py) | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/pydis_core/utils/paginator.py b/pydis_core/utils/pagination.py index 1b336fce..fb5b1d28 100644 --- a/pydis_core/utils/paginator.py +++ b/pydis_core/utils/pagination.py @@ -185,6 +185,7 @@ class LinePaginator(Paginator): @classmethod async def paginate( cls, + pagination_emojis: _PaginationEmojis, lines: list[str], ctx: Context | discord.Interaction, embed: discord.Embed, @@ -221,7 +222,8 @@ class LinePaginator(Paginator): >>> await LinePaginator.paginate([line for line in lines], ctx, embed) """ paginator = cls(prefix=prefix, suffix=suffix, max_size=max_size, max_lines=max_lines, - scale_to_size=scale_to_size) + scale_to_size=scale_to_size, pagination_emojis=pagination_emojis) + current_page = 0 if not restrict_to_user: @@ -288,9 +290,9 @@ class LinePaginator(Paginator): log.debug("Adding emoji reactions to message...") - pagination_emoji = list(paginator.pagination_emojis.dict().values()) + pagination_emoji_list = list(pagination_emojis.dict().values()) - for emoji in pagination_emoji: + for emoji in pagination_emoji_list: # Add all the applicable emoji to the message log.trace(f"Adding reaction: {emoji!r}") await message.add_reaction(emoji) @@ -298,7 +300,7 @@ class LinePaginator(Paginator): check = partial( reaction_check, message_id=message.id, - allowed_emoji=pagination_emoji, + allowed_emoji=pagination_emoji_list, allowed_users=(restrict_to_user.id,), allowed_roles=allowed_roles, ) @@ -317,7 +319,7 @@ class LinePaginator(Paginator): if str(reaction.emoji) == paginator.pagination_emojis.delete: log.debug("Got delete reaction") return await message.delete() - if reaction.emoji in pagination_emoji: + if reaction.emoji in pagination_emoji_list: total_pages = len(paginator.pages) try: await message.remove_reaction(reaction.emoji, user) |