settings.js 2.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071
  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. });
  37. onOptionsChanged(function() {
  38. if (gradioApp().querySelector('#settings .settings-category')) return;
  39. var sectionMap = {};
  40. gradioApp().querySelectorAll('#settings > div > button').forEach(function(x) {
  41. sectionMap[x.textContent.trim()] = x;
  42. });
  43. opts._categories.forEach(function(x) {
  44. var section = localization[x[0]] ?? x[0];
  45. var category = localization[x[1]] ?? x[1];
  46. var span = document.createElement('SPAN');
  47. span.textContent = category;
  48. span.className = 'settings-category';
  49. var sectionElem = sectionMap[section];
  50. if (!sectionElem) return;
  51. sectionElem.parentElement.insertBefore(span, sectionElem);
  52. });
  53. });