settings.js 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. let settingsExcludeTabsFromShowAll = {
  2. settings_tab_defaults: 1,
  3. settings_tab_sysinfo: 1,
  4. settings_tab_actions: 1,
  5. settings_tab_licenses: 1,
  6. };
  7. function settingsShowAllTabs() {
  8. gradioApp().querySelectorAll('#settings > div').forEach(function(elem) {
  9. if (settingsExcludeTabsFromShowAll[elem.id]) return;
  10. elem.style.display = "block";
  11. });
  12. }
  13. function settingsShowOneTab() {
  14. gradioApp().querySelector('#settings_show_one_page').click();
  15. }
  16. onUiLoaded(function() {
  17. var edit = gradioApp().querySelector('#settings_search');
  18. var editTextarea = gradioApp().querySelector('#settings_search > label > input');
  19. var buttonShowAllPages = gradioApp().getElementById('settings_show_all_pages');
  20. var settings_tabs = gradioApp().querySelector('#settings div');
  21. onEdit('settingsSearch', editTextarea, 250, function() {
  22. var searchText = (editTextarea.value || "").trim().toLowerCase();
  23. gradioApp().querySelectorAll('#settings > div[id^=settings_] div[id^=column_settings_] > *').forEach(function(elem) {
  24. var visible = elem.textContent.trim().toLowerCase().indexOf(searchText) != -1;
  25. elem.style.display = visible ? "" : "none";
  26. });
  27. if (searchText != "") {
  28. settingsShowAllTabs();
  29. } else {
  30. settingsShowOneTab();
  31. }
  32. });
  33. settings_tabs.insertBefore(edit, settings_tabs.firstChild);
  34. settings_tabs.appendChild(buttonShowAllPages);
  35. buttonShowAllPages.addEventListener("click", settingsShowAllTabs);
  36. });