| import gradio as gr | |
| def get_qid_selector(dataset_size: int): | |
| return gr.Number( | |
| info="Question ID", | |
| value=1, | |
| precision=0, | |
| minimum=1, | |
| maximum=dataset_size, | |
| show_label=False, | |
| scale=0, | |
| container=False, | |
| elem_classes="qid-selector", | |
| ) | |
| def get_pipeline_selector(model_options: list[str]): | |
| return gr.Dropdown( | |
| label="User Submissions and Examples", | |
| choices=model_options, | |
| value="", | |
| interactive=True, | |
| container=False, | |
| elem_classes="pipeline-selector", | |
| ) | |
| def get_panel_header(header: str, subheader: str | None = None): | |
| html = f"<h4 class='panel-header'>{header}</h4>" | |
| if subheader: | |
| html += f"<p class='md panel-subheader'>{subheader}</p>" | |
| with gr.Row(elem_classes="md panel-header-container") as row: | |
| gr.HTML(html) | |
| return row | |