📝 Update docstring
Browse files
app.py
CHANGED
|
@@ -4,10 +4,7 @@ from pathlib import Path
|
|
| 4 |
|
| 5 |
|
| 6 |
def patch_gradio_leaderboard():
|
| 7 |
-
"""Patch gradio_leaderboard JS to fix crash on tab switch with Gradio 5.x.
|
| 8 |
-
|
| 9 |
-
See PR.md for details.
|
| 10 |
-
"""
|
| 11 |
import gradio_leaderboard
|
| 12 |
pkg_dir = Path(gradio_leaderboard.__file__).parent
|
| 13 |
js_file = pkg_dir / "templates" / "component" / "Index-CzS_eGV6.js"
|
|
|
|
| 4 |
|
| 5 |
|
| 6 |
def patch_gradio_leaderboard():
|
| 7 |
+
"""Patch gradio_leaderboard JS to fix crash on tab switch with Gradio 5.x."""
|
|
|
|
|
|
|
|
|
|
| 8 |
import gradio_leaderboard
|
| 9 |
pkg_dir = Path(gradio_leaderboard.__file__).parent
|
| 10 |
js_file = pkg_dir / "templates" / "component" / "Index-CzS_eGV6.js"
|