Fix leaderboard clipped/unscrollable inside HF Spaces iframe

On the huggingface.co/spaces wrapper page the app is embedded in an
iframe whose height is managed by iframe-resizer. Gradio's HF-embed
shell hardcodes it with autoResize:false, so the iframe height is
measured once at load -- before the async Dataframe/Plot components
expand -- and never updated. The frozen, too-short iframe clips the
tables/plots with no way to scroll to them (zooming only "worked"
because it forced a one-off re-measure).

Re-enable the library's continuous height syncing from the app via a
demo.load() js hook that calls parentIFrame.autoResize(true) once the
resizer handshake completes. This keeps the iframe height in step with
async renders, tab switches, and the Refresh button. No-op when not
embedded (window.parentIFrame is undefined locally / on the direct
*.hf.space URL).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

app.py

@@ -386,6 +386,34 @@ with demo:
         ],
     )
 
+    # When embedded in the Hugging Face Spaces page, Gradio's shell hardcodes the
+    # iframe-resizer with `autoResize: false`, so the outer iframe's height is
+    # measured only once at load -- before the async-rendered Dataframe/Plot
+    # components expand -- and never updated again. The result is a frozen, too-short
+    # iframe that clips the leaderboard tables/plots and can't be scrolled to
+    # (zooming the page "fixes" it only because that forces a one-off re-measure).
+    # Re-enable the library's continuous height syncing so the iframe keeps up with
+    # async renders, tab switches, and the Refresh button. No-op outside an iframe.
+    demo.load(
+        None,
+        None,
+        None,
+        js="""
+() => {
+    let tries = 0;
+    const iv = setInterval(() => {
+        if (window.parentIFrame && typeof window.parentIFrame.autoResize === "function") {
+            window.parentIFrame.autoResize(true);
+            window.parentIFrame.size();
+            clearInterval(iv);
+        } else if (++tries > 100) {
+            clearInterval(iv);
+        }
+    }, 100);
+}
+""",
+    )
+
 
 
 scheduler = BackgroundScheduler()