diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-04-29 14:42:57 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-29 14:42:57 +0000 |
| commit | 88c7debb02caa5e9b9a2bd519085f1f9134c4b01 (patch) | |
| tree | 049d07f32194c1eced8ae4436af819fbfe4f5316 /javascript/extensions.js | |
| parent | 67955ca9e5cb6b3cc539333d0a7d9591009bc800 (diff) | |
| parent | 97167a576880e4802de081db71372ddc8c16fd92 (diff) | |
| download | stable-diffusion-webui-gfx803-88c7debb02caa5e9b9a2bd519085f1f9134c4b01.tar.gz stable-diffusion-webui-gfx803-88c7debb02caa5e9b9a2bd519085f1f9134c4b01.tar.bz2 stable-diffusion-webui-gfx803-88c7debb02caa5e9b9a2bd519085f1f9134c4b01.zip | |
Merge branch 'dev' into ui-config-tabs
Diffstat (limited to 'javascript/extensions.js')
| -rw-r--r-- | javascript/extensions.js | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/javascript/extensions.js b/javascript/extensions.js index 72924a28..3c2f995a 100644 --- a/javascript/extensions.js +++ b/javascript/extensions.js @@ -47,3 +47,25 @@ function install_extension_from_index(button, url){ gradioApp().querySelector('#install_extension_button').click()
}
+
+function config_state_confirm_restore(_, config_state_name, config_restore_type) {
+ if (config_state_name == "Current") {
+ return [false, config_state_name, config_restore_type];
+ }
+ let restored = "";
+ if (config_restore_type == "extensions") {
+ restored = "all saved extension versions";
+ } else if (config_restore_type == "webui") {
+ restored = "the webui version";
+ } else {
+ restored = "the webui version and all saved extension versions";
+ }
+ let confirmed = confirm("Are you sure you want to restore from this state?\nThis will reset " + restored + ".");
+ if (confirmed) {
+ restart_reload();
+ gradioApp().querySelectorAll('#extensions .extension_status').forEach(function(x){
+ x.innerHTML = "Loading..."
+ })
+ }
+ return [confirmed, config_state_name, config_restore_type];
+}
|