readd js dummy function

2026-09-06 13:00:44 +02:00 · 2023-07-14 16:45:27 -04:00
parent a77a6690b4
commit b1563f0ddd
3 changed files with 6 additions and 2 deletions
@@ -10,6 +10,10 @@ let uiLoaded = false;
 let opts_metadata = {};
 const opts_tabs = {};

+function rememberGallerySelection(name) {
+  // dummy
+}
+
 function set_theme(theme) {
  const gradioURL = window.location.href;
  if (!gradioURL.includes('?__theme=')) window.location.replace(`${gradioURL}?__theme=${theme}`);