table-fix
#6
by
rymc
- opened
app.py
CHANGED
|
@@ -149,6 +149,7 @@ def init_leaderboard(df: pd.DataFrame):
|
|
| 149 |
# column_widths=["3%"],
|
| 150 |
bool_checkboxgroup_label=None,
|
| 151 |
interactive=False,
|
|
|
|
| 152 |
)
|
| 153 |
|
| 154 |
image_path = "static/kluster-color.png"
|
|
@@ -314,4 +315,4 @@ with demo:
|
|
| 314 |
scheduler = BackgroundScheduler()
|
| 315 |
scheduler.add_job(restart_space, "interval", seconds=1800)
|
| 316 |
scheduler.start()
|
| 317 |
-
demo.queue(default_concurrency_limit=40).launch()
|
|
|
|
| 149 |
# column_widths=["3%"],
|
| 150 |
bool_checkboxgroup_label=None,
|
| 151 |
interactive=False,
|
| 152 |
+
height=max(400, int((len(df) + 2) * 80)),
|
| 153 |
)
|
| 154 |
|
| 155 |
image_path = "static/kluster-color.png"
|
|
|
|
| 315 |
scheduler = BackgroundScheduler()
|
| 316 |
scheduler.add_job(restart_space, "interval", seconds=1800)
|
| 317 |
scheduler.start()
|
| 318 |
+
demo.queue(default_concurrency_limit=40).launch(show_api=False)
|