main_page.py

import matplotlib
matplotlib.use('Agg')
import gradio as gr


from ui_components import create_leaderboard_display, get_full_leaderboard_data

from content import (
    CITATION_BUTTON_LABEL,
    CITATION_BUTTON_TEXT,
    INTRO_PARAGRAPH
)

# --- Global State for Viewers (simple caching) ---
CACHED_VIEWERS = {}
CACHED_TAG_MAPS = {}

def build_page():
    with gr.Row(elem_id="intro-row"):
        with gr.Column(scale=1):
            gr.HTML(INTRO_PARAGRAPH, elem_id="intro-paragraph")

    # --- Leaderboard Display Section ---
    gr.Markdown("---")
    CATEGORY_NAME = "Overall"
    gr.HTML(f'<h2>OpenHands Index {CATEGORY_NAME} Leaderboard <span style="font-weight: normal; color: inherit;">(Aggregate)</span></h2>', elem_id="main-header")

    test_df, test_tag_map = get_full_leaderboard_data("test")
    if not test_df.empty:
        create_leaderboard_display(
            full_df=test_df,
            tag_map=test_tag_map,
            category_name=CATEGORY_NAME,
            split_name="test"
        )
    else:
        gr.Markdown("No data available.")

if __name__ == "__main__":
    demo.launch()