search

Rapptz / discord-ext-menus

MIT License
234 stars 87 forks source link

Add the ability to use a different index than 0 when switching pages in Menupages #9

Closed Moogsy closed 4 years ago

Rapptz commented 4 years ago

What's the use case for this? The naming is all over the place.

Drapersniper commented 4 years ago

fwiw... being able to specify the starting page would be a nice to have feature.

Say i have a source with 1000 pages, but for whatever reason (User input) I want the first page to be the specified index.

An example of where this could be useful for me specifically, would be leaderboards where users can jump to a specific part of the leaderboard by using a command like [p]leaderboard page=10 where they are shown page 10 rather than page 1 at the start.

That being said, having this kwarg added to send_initial_message (and an argument of Menu) would make far more sense for me, based on my use case though there may be further uses if also added to MenuPages.change_source