Use panel router for submit entry

app.py

@@ -138,6 +138,11 @@ gradio-app,
   font-family: Helvetica, Arial, sans-serif !important;
 }
 
+#leaderboard-panel,
+#submit-entry-panel {
+  display: none;
+}
+
 .hero-stage {
   border-bottom: 2px solid var(--line);
   padding: 30px 0 20px;
@@ -1194,6 +1199,27 @@ APP_JS = """
     const href = element.getAttribute && element.getAttribute("href");
     return href === "/" || href === "./" || href === cleanHomeUrl();
   };
+  const panelIds = {
+    home: "home-panel",
+    leaderboard: "leaderboard-panel",
+    submit: "submit-entry-panel",
+  };
+  const setPanelVisible = (id, visible) => {
+    const element = document.getElementById(id);
+    if (!element) {
+      return;
+    }
+    if (visible) {
+      element.style.setProperty("display", "block", "important");
+    } else {
+      element.style.setProperty("display", "none", "important");
+    }
+  };
+  const applyRoute = (route) => {
+    const selected = route === "leaderboard" || route === "submit" ? route : "home";
+    Object.entries(panelIds).forEach(([name, id]) => setPanelVisible(id, name === selected));
+    hideGradioChrome();
+  };
   const routeFromClick = (event) => {
     const control = event.target && event.target.closest
       ? event.target.closest("[data-route], .site-nav-link")
@@ -1214,11 +1240,14 @@ APP_JS = """
       window.location.assign(cleanHomeUrl());
       return;
     }
-    if (route === "leaderboard") {
-      return;
-    }
-    if (route === "submit") {
-      return;
+    if (route === "leaderboard" || route === "submit") {
+      event.preventDefault();
+      event.stopPropagation();
+      if (event.stopImmediatePropagation) {
+        event.stopImmediatePropagation();
+      }
+      window.history.pushState(null, "", `${cleanHomeUrl()}?view=${route}`);
+      applyRoute(route);
     }
   };
   const nativeHomeFallback = (event) => {
@@ -1237,6 +1266,11 @@ APP_JS = """
   };
   document.addEventListener("click", routeFromClick, true);
   document.addEventListener("click", nativeHomeFallback, true);
+  window.addEventListener("popstate", () => {
+    const view = new URLSearchParams(window.location.search).get("view");
+    applyRoute(view || "home");
+  });
+  applyRoute(new URLSearchParams(window.location.search).get("view") || "home");
   hideGradioChrome();
   window.setTimeout(hideGradioChrome, 100);
   window.setTimeout(hideGradioChrome, 700);
@@ -2172,20 +2206,15 @@ def loading_html() -> str:
     """
 
 
-def routed_page_for_request(request: gr.Request):
+def home_page_for_request(request: gr.Request):
     try:
         query = dict(request.query_params) if request else {}
     except Exception:
         query = {}
     setup = str(query.get("family") or "").strip()
-    view = str(query.get("view") or "").strip().lower()
-    if view == "leaderboard":
-        return gr.update(value=leaderboard_html(), visible=True), gr.update(visible=False)
-    if view == "submit":
-        return gr.update(value="", visible=False), gr.update(visible=True)
     if setup in setup_choices():
-        return gr.update(value=family_page_html(setup), visible=True), gr.update(visible=False)
-    return gr.update(value=directory_html(), visible=True), gr.update(visible=False)
+        return family_page_html(setup)
+    return gr.update()
 
 
 def condensed_case_links(cases: list[str]) -> str:
@@ -2387,10 +2416,11 @@ def submit_solution(
             message,
             preview_html(stored),
             pretty,
+            leaderboard_html(),
             gr.update(choices=existing_author_choices(), value=submitter),
         )
     except Exception as exc:
-        return f"### Submission Rejected\n\n- {exc}", empty_preview_html(), json_text, gr.update()
+        return f"### Submission Rejected\n\n- {exc}", empty_preview_html(), json_text, gr.update(), gr.update()
 
 
 THEME = gr.themes.Base()
@@ -2411,9 +2441,10 @@ with gr.Blocks(
         footer_links=[],
     )
 ) as demo:
-    browse_page = gr.HTML(directory_html())
+    browse_page = gr.HTML(directory_html(), elem_id="home-panel")
+    leaderboard_page = gr.HTML(leaderboard_html(), elem_id="leaderboard-panel")
 
-    with gr.Group(visible=False, elem_classes=["submit-entry-panel"]) as submit_panel:
+    with gr.Group(elem_id="submit-entry-panel", elem_classes=["submit-entry-panel"]):
         gr.HTML(submit_schema_intro_html())
         with gr.Group(elem_classes=["submit-shell"]):
             with gr.Row(elem_classes=["submit-layout"]):
@@ -2482,12 +2513,12 @@ with gr.Blocks(
                 with gr.Accordion("Schema And Coordinate Rules", open=False):
                     gr.Markdown(SCHEMA_DOCS_MD)
 
-    demo.load(routed_page_for_request, outputs=[browse_page, submit_panel], show_progress="hidden")
+    demo.load(home_page_for_request, outputs=[browse_page], show_progress="hidden")
     verify_btn.click(verify_only, inputs=[json_code, json_file, tolerance], outputs=[report, preview, normalized_json])
     submit_btn.click(
         submit_solution,
         inputs=[json_code, json_file, submitter, notes, source_url, tolerance],
-        outputs=[report, preview, normalized_json, submitter],
+        outputs=[report, preview, normalized_json, leaderboard_page, submitter],
     )