tokenizer-arena / patcher /gr_interface.py
eson's picture
add compression leaderboard
1b7fc74
"""
原生 TabbedInterface 的 title采用markdown,不能实现居中,因此这里做了调整。
"""
from gradio import Blocks, Interface, Theme, Tabs, Tab, HTML
class TabbedInterface(Blocks):
"""
A TabbedInterface is created by providing a list of Interfaces or Blocks, each of which gets
rendered in a separate tab. Only the components from the Interface/Blocks will be rendered in the tab.
Certain high-level attributes of the Blocks (e.g. custom `css`, `js`, and `head` attributes) will not be loaded.
Demos: tabbed_interface_lite
"""
def __init__(
self,
interface_list: list[Interface],
tab_names: list[str] | None = None,
title: str | None = None,
theme: Theme | str | None = None,
analytics_enabled: bool | None = None,
css: str | None = None,
js: str | None = None,
head: str | None = None,
):
"""
Parameters:
interface_list: A list of Interfaces (or Blocks) to be rendered in the tabs.
tab_names: A list of tab names. If None, the tab names will be "Tab 1", "Tab 2", etc.
title: The tab title to display when this demo is opened in a browser window.
theme: A Theme object or a string representing a theme. If a string, will look for a built-in theme with that name (e.g. "soft" or "default"), or will attempt to load a theme from the Hugging Face Hub (e.g. "gradio/monochrome"). If None, will use the Default theme.
analytics_enabled: Whether to allow basic telemetry. If None, will use GRADIO_ANALYTICS_ENABLED environment variable or default to True.
css: Custom css as a string or path to a css file. This css will be included in the demo webpage.
js: Custom js or path to js file to run when demo is first loaded. This javascript will be included in the demo webpage.
head: Custom html to insert into the head of the demo webpage. This can be used to add custom meta tags, scripts, stylesheets, etc. to the page.
Returns:
a Gradio Tabbed Interface for the given interfaces
"""
super().__init__(
title=title or "Gradio",
theme=theme,
analytics_enabled=analytics_enabled,
mode="tabbed_interface",
css=css,
js=js,
head=head,
)
if tab_names is None:
tab_names = [f"Tab {i}" for i in range(len(interface_list))]
with self:
if title:
HTML(
f"<h1 style='text-align: center; margin-bottom: 1rem'>{title}</h1>"
)
with Tabs():
for interface, tab_name in zip(interface_list, tab_names):
with Tab(label=tab_name):
interface.render()