reorder

app.py

@@ -565,6 +565,10 @@ async def remove_huggingfolks():
         # make a copy while discord id column still exists -> use for rank in discord embeds
         community_global_df_with_id = community_global_df_with_id.copy()
 
+        # reorder (switching from discord_user_name to hf_user_name)
+        reorder = ['discord_user_id', 'hf_user_name', 'discord_exp','discord_level', 'discord_user_name', 'hub_exp', 'total_exp', 'verified_date']
+        community_global_df = community_global_df[reorder]
+
         # drop first column (discord id -> this is so we can display the important stuff in the leaderboard)
         community_global_df.drop(community_global_df.columns[0], axis=1, inplace=True)
         community_global_df.drop(community_global_df.columns[1], axis=1, inplace=True)
@@ -671,7 +675,7 @@ with demo:
                 #gr.Markdown("# 📈 Experience Leaderboard")
                 with gr.Row():
                     with gr.Column():
-                        gr.DataFrame(get_data, every=5, height=500, interactive=False, col_count=(3, "fixed"), column_widths=["100px","100px","100px"])
+                        gr.DataFrame(get_data, every=5, height=500, datatype=["markdown"], interactive=False, col_count=(3, "fixed"), column_widths=["100px","100px","100px"])
     
                     with gr.Column():
                         gr.BarPlot(