Spaces:
Runtime error
Runtime error
Use the official library to complete the scrolling
Browse files
app.py
CHANGED
|
@@ -775,11 +775,6 @@ css = """
|
|
| 775 |
}
|
| 776 |
"""
|
| 777 |
|
| 778 |
-
js = """
|
| 779 |
-
function scrollToTop() {
|
| 780 |
-
window.scrollTo({top: 0, behavior: 'smooth'});
|
| 781 |
-
}
|
| 782 |
-
"""
|
| 783 |
|
| 784 |
with gr.Blocks(css=css) as demo:
|
| 785 |
latex_delimiters = [
|
|
@@ -831,7 +826,7 @@ with gr.Blocks(css=css) as demo:
|
|
| 831 |
problem_1_full_hidden,
|
| 832 |
problem_2_full_hidden,
|
| 833 |
],
|
| 834 |
-
|
| 835 |
)
|
| 836 |
|
| 837 |
demo.load(
|
|
|
|
| 775 |
}
|
| 776 |
"""
|
| 777 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 778 |
|
| 779 |
with gr.Blocks(css=css) as demo:
|
| 780 |
latex_delimiters = [
|
|
|
|
| 826 |
problem_1_full_hidden,
|
| 827 |
problem_2_full_hidden,
|
| 828 |
],
|
| 829 |
+
scroll_to_output=True,
|
| 830 |
)
|
| 831 |
|
| 832 |
demo.load(
|