diff options
author | AUTOMATIC <16777216c@gmail.com> | 2023-01-03 17:23:17 +0000 |
---|---|---|
committer | AUTOMATIC <16777216c@gmail.com> | 2023-01-03 17:23:17 +0000 |
commit | 82cfc227d735c140447d5b8dca29a71ee9bde127 (patch) | |
tree | 0ef48db661a296313ddc6f4b87138f6bc0d00dae /modules/ui.py | |
parent | 8f96f9289981a66741ba770d14f3d27ce335a0fb (diff) | |
download | stable-diffusion-webui-gfx803-82cfc227d735c140447d5b8dca29a71ee9bde127.tar.gz stable-diffusion-webui-gfx803-82cfc227d735c140447d5b8dca29a71ee9bde127.tar.bz2 stable-diffusion-webui-gfx803-82cfc227d735c140447d5b8dca29a71ee9bde127.zip |
added licenses screen to settings
added footer
removed unused inpainting code
Diffstat (limited to 'modules/ui.py')
-rw-r--r-- | modules/ui.py | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/modules/ui.py b/modules/ui.py index f2e7c0d6..d941cb5f 100644 --- a/modules/ui.py +++ b/modules/ui.py @@ -1529,8 +1529,10 @@ def create_ui(): with gr.Blocks(analytics_enabled=False) as settings_interface:
with gr.Row():
- settings_submit = gr.Button(value="Apply settings", variant='primary', elem_id="settings_submit")
- restart_gradio = gr.Button(value='Restart UI', variant='primary', elem_id="settings_restart_gradio")
+ with gr.Column(scale=6):
+ settings_submit = gr.Button(value="Apply settings", variant='primary', elem_id="settings_submit")
+ with gr.Column():
+ restart_gradio = gr.Button(value='Reload UI', variant='primary', elem_id="settings_restart_gradio")
result = gr.HTML(elem_id="settings_result")
@@ -1574,6 +1576,11 @@ def create_ui(): download_localization = gr.Button(value='Download localization template', elem_id="download_localization")
reload_script_bodies = gr.Button(value='Reload custom script bodies (No ui updates, No restart)', variant='secondary', elem_id="settings_reload_script_bodies")
+ if os.path.exists("html/licenses.html"):
+ with open("html/licenses.html", encoding="utf8") as file:
+ with gr.TabItem("Licenses"):
+ gr.HTML(file.read(), elem_id="licenses")
+
gr.Button(value="Show all pages", elem_id="settings_show_all_pages")
request_notifications.click(
@@ -1659,6 +1666,10 @@ def create_ui(): if os.path.exists(os.path.join(script_path, "notification.mp3")):
audio_notification = gr.Audio(interactive=False, value=os.path.join(script_path, "notification.mp3"), elem_id="audio_notification", visible=False)
+ if os.path.exists("html/footer.html"):
+ with open("html/footer.html", encoding="utf8") as file:
+ gr.HTML(file.read(), elem_id="footer")
+
text_settings = gr.Textbox(elem_id="settings_json", value=lambda: opts.dumpjson(), visible=False)
settings_submit.click(
fn=wrap_gradio_call(run_settings, extra_outputs=[gr.update()]),
|