nki/youmubot
1
0
Fork 0
mirror of https://github.com/natsukagami/youmubot.git synced 2025-04-16 07:18:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Align the ranks table

Browse source
This commit is contained in:
Natsu Kagami 2020-06-13 23:44:04 -04:00
parent 00971d7d3e
commit 9f54ca3a1a
Signed by: nki
GPG key ID: 73376E117CD20735
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
youmubot-osu/src/discord/server_rank.rs
View file

@ -50,17 +50,19 @@ pub fn server_rank(ctx: &mut Context, m: &Message, mut args: Args) -> CommandRes
m.channel_id, m.channel_id,
move |page: u8, e: &mut EditMessage| { move |page: u8, e: &mut EditMessage| {
let start = (page as usize) * ITEMS_PER_PAGE; let start = (page as usize) * ITEMS_PER_PAGE;
if start >= users.len() { let end = (start + ITEMS_PER_PAGE).min(users.len());
if start >= end {
return (e, Err(Error("No more items".to_owned()))); return (e, Err(Error("No more items".to_owned())));
} }
let total_len = users.len(); let total_len = users.len();
let users = users.iter().skip(start).take(ITEMS_PER_PAGE); let users = &users[start..end];
let username_len = users.iter().map(|(_, u)| u.len()).max().unwrap_or(8).max(8);
let mut content = MessageBuilder::new(); let mut content = MessageBuilder::new();
content content
.push_line("```") .push_line("```")
.push_line("Rank | pp | Username") .push_line("Rank | pp | Username")
.push_line("-------------------------"); .push_line(format!("-----------------{:-<uw$}", "", uw = username_len));
for (id, (pp, member)) in users.enumerate() { for (id, (pp, member)) in users.iter().enumerate() {
content content
.push(format!( .push(format!(
"{:>4} | {:>7.2} | ", "{:>4} | {:>7.2} | ",