Correct velocity unit in leaderboard, add MPH

daily_weekly_leaderboard.py

@@ -18,7 +18,7 @@ df = (
     # .with_columns(pl.col('game_date').str.to_datetime())
     .rename({
         'name': 'Name',
-        'release_speed': 'Velocity',
+        'release_speed': 'KPH',
         'team': 'Team'
     })
 )
@@ -84,12 +84,13 @@ def compute_pitcher_leaderboards(df, top_players, strict, ignore_zero_whiffs, sh
     
     velos = (
         _df
-        .select(*other_cols, 'Velocity')
+        .select(*other_cols, 'KPH')
+        .with_columns((pl.col('KPH') / 1.609).round().cast(pl.Int16).alias('MPH'))
         .drop_nulls()
-        .sort(['Velocity', 'Name'], descending=[True, False])
+        .sort(['KPH', 'Name'], descending=[True, False])
     )
     if len(velos) > top_players:
-        velos = velos.filter(pl.col('Velocity') >= velos['Velocity'][top_players])
+        velos = velos.filter(pl.col('KPH') >= velos['KPH'][top_players])
     if strict:
         velos = velos[:top_players]
     if show_rank:
@@ -153,7 +154,8 @@ def plot_tables(whiffs, velos, time_type, subheader):
         ColumnDefinition(name="Rank", title="Rank", width=0.25),
         ColumnDefinition(name='Team', title='Team', width=0.25, plot_fn=circled_image, textprops={'ha': 'center'}),
         ColumnDefinition(name="Name", title="Player", textprops={'ha': 'left'}),
-        ColumnDefinition(name="Velocity", title="MPH", width=0.25)
+        ColumnDefinition(name="KPH", title="KPH", width=0.25),
+        ColumnDefinition(name='MPH', title='MPH', width=0.25)
       ],
       ax=velo_ax
     )
@@ -213,12 +215,12 @@ def create_daily_pitcher_leaderboard():
             daily_header = gr.HTML('<center><h1>Daily Leaderboard<h1><h2 style="display: none;"></h2><h3 style="display: none;"></h3></center>')
             with gr.Row():
                 daily_whiffs = gr.Dataframe(pl.DataFrame({'Name': [], 'Whiffs': []}), label='Whiffs', interactive=False, height=1000)
-                daily_velos = gr.Dataframe(pl.DataFrame({'Name': [], 'Velocity': []}), label='Velocity', interactive=False, height=1000)
+                daily_velos = gr.Dataframe(pl.DataFrame({'Name': [], 'KPH': [], 'MPH': []}), label='Velocity', interactive=False, height=1000)
 
             weekly_header = gr.HTML('<center><h1>Weekly Leaderboard<h1><h2 style="display: none;"></h2><h3 style="display: none;"></h3></center>')
             with gr.Row():
                 weekly_whiffs = gr.Dataframe(pl.DataFrame({'Name': [], 'Whiffs': []}), label='Whiffs', interactive=False, height=1000)
-                weekly_velos = gr.Dataframe(pl.DataFrame({'Name': [], 'Velocity': []}), label='Velocity', interactive=False, height=1000)
+                weekly_velos = gr.Dataframe(pl.DataFrame({'Name': [], 'KPH': [], 'MPH': []}), label='Velocity', interactive=False, height=1000)
 
         with gr.Tab('Tables for sharing'):
             gr.Markdown('''# Plotted leaderboards