From fc966c029943ce37aaecd620645c770478395afc Mon Sep 17 00:00:00 2001
From: AUTOMATIC <16777216c@gmail.com>
Date: Mon, 8 May 2023 15:30:32 +0300
Subject: do not show licenses page when user selects Show all pages in
 settings

---
 javascript/ui.js | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'javascript')

diff --git a/javascript/ui.js b/javascript/ui.js
index b63b84b2..611b70d1 100644
--- a/javascript/ui.js
+++ b/javascript/ui.js
@@ -348,6 +348,9 @@ onUiUpdate(function(){
         settings_tabs.appendChild(show_all_pages)
         show_all_pages.onclick = function(){
             gradioApp().querySelectorAll('#settings > div').forEach(function(elem){
+                if(elem.id == "settings_tab_licenses")
+                    return;
+
                 elem.style.display = "block";
             })
         }
-- 
cgit v1.2.3