Merge pull request #7812 from vladmandic/hide_ui_tabs

allow configurable hiding of ui tabs

1 files changed, 6 insertions, 0 deletions

diff --git a/modules/ui.py b/modules/ui.py
index 2509ce2d..3614da45 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])):

@@ -1573,6 +1577,8 @@ def create_ui():
 

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

             for interface, label, ifid in interfaces:

+                if label in shared.opts.hidden_tabs:

+                    continue

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

                     interface.render()