Spaces:
Build error
Build error
Commit
·
c0335c8
1
Parent(s):
248dee2
Rename daily leaderboard to daily and weekly leaderboard
Browse files
app.py
CHANGED
@@ -2,7 +2,7 @@ import gradio as gr
|
|
2 |
|
3 |
from pitcher_dashboard import create_pitcher_dashboard
|
4 |
from pitch_leaderboard import create_pitch_leaderboard
|
5 |
-
from
|
6 |
from css import css
|
7 |
|
8 |
|
@@ -20,7 +20,7 @@ with gr.Blocks(
|
|
20 |
with gr.Tab('Pitch Leaderboard'):
|
21 |
pitch_leaderboard_app = create_pitch_leaderboard()
|
22 |
|
23 |
-
with gr.Tab('Daily Leaderboard'):
|
24 |
daily_pitcher_leaderboard_app = create_daily_pitcher_leaderboard()
|
25 |
|
26 |
demo.launch(
|
|
|
2 |
|
3 |
from pitcher_dashboard import create_pitcher_dashboard
|
4 |
from pitch_leaderboard import create_pitch_leaderboard
|
5 |
+
from daily_weekly_leaderboard import create_daily_pitcher_leaderboard
|
6 |
from css import css
|
7 |
|
8 |
|
|
|
20 |
with gr.Tab('Pitch Leaderboard'):
|
21 |
pitch_leaderboard_app = create_pitch_leaderboard()
|
22 |
|
23 |
+
with gr.Tab('Daily/Weekly Leaderboard'):
|
24 |
daily_pitcher_leaderboard_app = create_daily_pitcher_leaderboard()
|
25 |
|
26 |
demo.launch(
|
daily_pitcher_leaderboard.py → daily_weekly_leaderboard.py
RENAMED
@@ -143,13 +143,13 @@ def create_daily_pitcher_leaderboard():
|
|
143 |
|
144 |
daily_header = gr.HTML('<center><h1>Daily Leaderboard<h1><h2 style="display: none;"></h2><h3 style="display: none;"></h3></center>')
|
145 |
with gr.Row():
|
146 |
-
daily_whiffs = gr.Dataframe(pl.DataFrame({'Name': [], 'Whiffs': []}), label='Whiffs', interactive=False)
|
147 |
-
daily_velos = gr.Dataframe(pl.DataFrame({'Name': [], 'Velocity': []}), label='Velocity', interactive=False)
|
148 |
|
149 |
weekly_header = gr.HTML('<center><h1>Weekly Leaderboard<h1><h2 style="display: none;"></h2><h3 style="display: none;"></h3></center>')
|
150 |
with gr.Row():
|
151 |
-
weekly_whiffs = gr.Dataframe(pl.DataFrame({'Name': [], 'Whiffs': []}), label='Whiffs', interactive=False)
|
152 |
-
weekly_velos = gr.Dataframe(pl.DataFrame({'Name': [], 'Velocity': []}), label='Velocity', interactive=False)
|
153 |
|
154 |
search_kwargs = dict(
|
155 |
fn=filter_pitcher_leaderboard_by_date,
|
|
|
143 |
|
144 |
daily_header = gr.HTML('<center><h1>Daily Leaderboard<h1><h2 style="display: none;"></h2><h3 style="display: none;"></h3></center>')
|
145 |
with gr.Row():
|
146 |
+
daily_whiffs = gr.Dataframe(pl.DataFrame({'Name': [], 'Whiffs': []}), label='Whiffs', interactive=False, height=1000)
|
147 |
+
daily_velos = gr.Dataframe(pl.DataFrame({'Name': [], 'Velocity': []}), label='Velocity', interactive=False, height=1000)
|
148 |
|
149 |
weekly_header = gr.HTML('<center><h1>Weekly Leaderboard<h1><h2 style="display: none;"></h2><h3 style="display: none;"></h3></center>')
|
150 |
with gr.Row():
|
151 |
+
weekly_whiffs = gr.Dataframe(pl.DataFrame({'Name': [], 'Whiffs': []}), label='Whiffs', interactive=False, height=1000)
|
152 |
+
weekly_velos = gr.Dataframe(pl.DataFrame({'Name': [], 'Velocity': []}), label='Velocity', interactive=False, height=1000)
|
153 |
|
154 |
search_kwargs = dict(
|
155 |
fn=filter_pitcher_leaderboard_by_date,
|