rename webui
This commit is contained in:
parent
85480f2e86
commit
1611fad6bc
|
@ -20,7 +20,7 @@ require_version("gradio==3.38.0", "To fix: pip install gradio==3.38.0")
|
||||||
def create_ui() -> gr.Blocks:
|
def create_ui() -> gr.Blocks:
|
||||||
engine = Engine(pure_chat=False)
|
engine = Engine(pure_chat=False)
|
||||||
|
|
||||||
with gr.Blocks(title="Web Tuner", css=CSS) as demo:
|
with gr.Blocks(title="LLaMA Board", css=CSS) as demo:
|
||||||
engine.manager.all_elems["top"] = create_top()
|
engine.manager.all_elems["top"] = create_top()
|
||||||
lang: "gr.Dropdown" = engine.manager.get_elem("top.lang")
|
lang: "gr.Dropdown" = engine.manager.get_elem("top.lang")
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue