get progressbar to display correctly in extensions tab

This commit is contained in:
AUTOMATIC1111 2023-08-30 08:05:18 +03:00
parent 965c728914
commit afea99a72b
3 changed files with 12 additions and 3 deletions

View File

@ -33,7 +33,7 @@ function extensions_check() {
var id = randomId(); var id = randomId();
requestProgress(id, gradioApp().getElementById('extensions_installed_top'), null, function() { requestProgress(id, gradioApp().getElementById('extensions_installed_html'), null, function() {
}); });

View File

@ -557,8 +557,12 @@ def create_ui():
msg = '"--disable-extra-extensions" was used, remove it to load all extensions again' msg = '"--disable-extra-extensions" was used, remove it to load all extensions again'
html = f'<span style="color: var(--primary-400);">{msg}</span>' html = f'<span style="color: var(--primary-400);">{msg}</span>'
info = gr.HTML(html) with gr.Row():
extensions_table = gr.HTML('Loading...') info = gr.HTML(html)
with gr.Row(elem_classes="progress-container"):
extensions_table = gr.HTML('Loading...', elem_id="extensions_installed_html")
ui.load(fn=extension_table, inputs=[], outputs=[extensions_table]) ui.load(fn=extension_table, inputs=[], outputs=[extensions_table])
apply.click( apply.click(

View File

@ -517,6 +517,11 @@ table.popup-table .link{
background: #b4c0cc; background: #b4c0cc;
border-radius: 3px !important; border-radius: 3px !important;
top: -20px; top: -20px;
width: 100%;
}
.progress-container{
position: relative;
} }
[id$=_results].mobile{ [id$=_results].mobile{