make ui as multiselect instead of string list

1 files changed, 5 insertions, 2 deletions

diff --git a/modules/ui.py b/modules/ui.py
index a4ecd41b..5ac249b2 100644
--- a/modules/ui.py
+++ b/modules/ui.py
@@ -1563,6 +1563,10 @@ def create_ui():
     extensions_interface = ui_extensions.create_ui()

     interfaces += [(extensions_interface, "Extensions", "extensions")]

 

+    shared.tab_names = []

+    for _interface, label, _ifid in interfaces:

+        shared.tab_names.append(label)

+

     with gr.Blocks(css=css, analytics_enabled=False, title="Stable Diffusion") as demo:

         with gr.Row(elem_id="quicksettings", variant="compact"):

             for i, k, item in sorted(quicksettings_list, key=lambda x: quicksettings_names.get(x[1], x[0])):

@@ -1572,9 +1576,8 @@ def create_ui():
         parameters_copypaste.connect_paste_params_buttons()

 

         with gr.Tabs(elem_id="tabs") as tabs:

-            hidden_tabs = [x.lower().strip() for x in shared.opts.hidden_tabs.split(",")]

             for interface, label, ifid in interfaces:

-                if label.lower() in hidden_tabs:

+                if label in shared.opts.hidden_tabs:

                     continue

                 with gr.TabItem(label, id=ifid, elem_id='tab_' + ifid):

                     interface.render()