"disabled_extensions":OptionInfo([],"Disable those extensions"),
"disabled_extensions":OptionInfo([],"Disable these extensions"),
"disable_all_extensions":OptionInfo("none","Disable all extensions (preserves the list of disabled extensions)",gr.Radio,{"choices":["none","extra","all"]}),
"sd_checkpoint_hash":OptionInfo("","SHA256 hash of the current checkpoint"),
<td><label><input class="gr-check-radio gr-checkbox" name="enable_{html.escape(ext.name)}" type="checkbox" {'checked="checked"' if ext.enabled else ''}>{html.escape(ext.name)}</label></td>
<td><label{style}><input class="gr-check-radio gr-checkbox" name="enable_{html.escape(ext.name)}" type="checkbox" {'checked="checked"' if ext.enabled else ''}>{html.escape(ext.name)}</label></td>
<td>{remote}</td>
<td>{ext.version}</td>
<td{' class="extension_status"' if ext.remote is not None else ''}>{ext_status}</td>
...
...
@@ -294,16 +299,24 @@ def create_ui():
withgr.Row(elem_id="extensions_installed_top"):
apply=gr.Button(value="Apply and restart UI",variant="primary")
check=gr.Button(value="Check for updates")
extensions_disable_all=gr.Radio(label="Disable all extensions",choices=["none","extra","all"],value=shared.opts.disable_all_extensions,elem_id="extensions_disable_all")