feat(ext.pages): Add use_styled_buttons

[Nzii3]

Summary

Adds use_styled_buttons in ext.pages.Paginator which essentially styles buttons with emojis by using a single parameter. Overwrites use_default_buttons when used in the Paginator __init__.

Information

• This PR fixes an issue.
• This PR adds something new (e.g. new method or parameters).
• This PR is a breaking change (e.g. methods or parameters removed/renamed).
• This PR is not a code change (e.g. documentation, README, typehinting,
  examples, ...).

Checklist

• I have searched the open pull requests for duplicates.
• If code changes were made then they have been tested.
  • I have updated the documentation to reflect the changes.
• If type: ignore comments were used, a comment is also left explaining why.

[Nzii3]

Example code:

from discord.ext.pages import Paginator
pages = ['1', '2', '3']
paginator = Paginator(pages=pages, use_styled_buttons=True)
await paginator.respond(ctx)

Output:

[Lulalaby]

I like how the ci fails again

[Nzii3]

I like how the ci fails again

@Lulalaby it doesn’t like me :/

[Lulalaby]

No worries. Is fixed. Please address the requested changes.

[Nzii3]

Added changes 👍

[Lulalaby]

I don't even question anymore how you've managed to let the ci fail two more times just by applying the string changes

[BobDotCom]

I don't even question anymore how you've managed to let the ci fail two more times just by applying the string changes

CI sometimes fails when a new build is triggered while the previous isn't finished

[BobDotCom]

In addition to the other comments, please add a changelog entry for both the new params and new method.

[Nzii3]

In addition to the other comments, please add a changelog entry for both the new params and new method.

Done.

x

[BobDotCom]

After testing, I found that the style is highly inconsistent on MacOS. I've included examples from both before and after my suggested changes.

Before: System emoji is used for both the first and last buttons. The "next" button appears fine, but the "prev" button is oversized and the bottom of the character is clipped off.

After: There is a blue outline on the emojis, but full parity is achieved between each emoji and between all operating systems as the discord emoji set is used.

[Nzii3]

Should I add #1818 into this pr for v2.4?

[Lulalaby]

Should I add #1818 into this pr for v2.4?

Personally I would prefer this

[pullapprove4]

Please add a changelog entry