mirror of
https://github.com/oobabooga/text-generation-webui.git
synced 2024-11-28 18:48:04 +01:00
CSS change
This commit is contained in:
parent
0e8f9354b5
commit
4b6c1d3f08
@ -45,6 +45,10 @@
|
|||||||
min-height: 0
|
min-height: 0
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#save_session {
|
||||||
|
margin-top: 32px;
|
||||||
|
}
|
||||||
|
|
||||||
#accordion {
|
#accordion {
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -826,7 +826,7 @@ def create_interface():
|
|||||||
|
|
||||||
with gr.Column():
|
with gr.Column():
|
||||||
if not shared.args.multi_user:
|
if not shared.args.multi_user:
|
||||||
shared.gradio['save_session'] = gr.Button('Save session')
|
shared.gradio['save_session'] = gr.Button('Save session', elem_id="save_session")
|
||||||
shared.gradio['load_session'] = gr.File(type='binary', file_types=['.json'], label="Upload Session JSON")
|
shared.gradio['load_session'] = gr.File(type='binary', file_types=['.json'], label="Upload Session JSON")
|
||||||
|
|
||||||
extension_name = gr.Textbox(lines=1, label='Install or update an extension', info='Enter the GitHub URL below and press Enter. For a list of extensions, see: https://github.com/oobabooga/text-generation-webui-extensions ⚠️ WARNING ⚠️ : extensions can execute arbitrary code. Make sure to inspect their source code before activating them.')
|
extension_name = gr.Textbox(lines=1, label='Install or update an extension', info='Enter the GitHub URL below and press Enter. For a list of extensions, see: https://github.com/oobabooga/text-generation-webui-extensions ⚠️ WARNING ⚠️ : extensions can execute arbitrary code. Make sure to inspect their source code before activating them.')
|
||||||
|
Loading…
Reference in New Issue
Block a user