2023-10-01 02:48:41 -06:00
|
|
|
let settingsExcludeTabsFromShowAll = {
|
|
|
|
settings_tab_defaults: 1,
|
|
|
|
settings_tab_sysinfo: 1,
|
|
|
|
settings_tab_actions: 1,
|
|
|
|
settings_tab_licenses: 1,
|
|
|
|
};
|
|
|
|
|
|
|
|
function settingsShowAllTabs() {
|
|
|
|
gradioApp().querySelectorAll('#settings > div').forEach(function(elem) {
|
|
|
|
if (settingsExcludeTabsFromShowAll[elem.id]) return;
|
|
|
|
|
|
|
|
elem.style.display = "block";
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
function settingsShowOneTab() {
|
|
|
|
gradioApp().querySelector('#settings_show_one_page').click();
|
|
|
|
}
|
|
|
|
|
|
|
|
onUiLoaded(function() {
|
|
|
|
var edit = gradioApp().querySelector('#settings_search');
|
|
|
|
var editTextarea = gradioApp().querySelector('#settings_search > label > input');
|
|
|
|
var buttonShowAllPages = gradioApp().getElementById('settings_show_all_pages');
|
|
|
|
var settings_tabs = gradioApp().querySelector('#settings div');
|
|
|
|
|
|
|
|
onEdit('settingsSearch', editTextarea, 250, function() {
|
2023-10-03 07:22:32 -06:00
|
|
|
var searchText = (editTextarea.value || "").trim().toLowerCase();
|
2023-10-01 02:48:41 -06:00
|
|
|
|
|
|
|
gradioApp().querySelectorAll('#settings > div[id^=settings_] div[id^=column_settings_] > *').forEach(function(elem) {
|
2023-10-03 07:22:32 -06:00
|
|
|
var visible = elem.textContent.trim().toLowerCase().indexOf(searchText) != -1;
|
2023-10-01 02:48:41 -06:00
|
|
|
elem.style.display = visible ? "" : "none";
|
|
|
|
});
|
|
|
|
|
|
|
|
if (searchText != "") {
|
|
|
|
settingsShowAllTabs();
|
|
|
|
} else {
|
|
|
|
settingsShowOneTab();
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
settings_tabs.insertBefore(edit, settings_tabs.firstChild);
|
|
|
|
settings_tabs.appendChild(buttonShowAllPages);
|
|
|
|
|
|
|
|
|
|
|
|
buttonShowAllPages.addEventListener("click", settingsShowAllTabs);
|
|
|
|
});
|
2023-11-26 07:56:16 -07:00
|
|
|
|
|
|
|
|
|
|
|
onOptionsChanged(function() {
|
|
|
|
if (gradioApp().querySelector('#settings .settings-category')) return;
|
|
|
|
|
|
|
|
var sectionMap = {};
|
|
|
|
gradioApp().querySelectorAll('#settings > div > button').forEach(function(x) {
|
|
|
|
sectionMap[x.textContent.trim()] = x;
|
|
|
|
});
|
|
|
|
|
|
|
|
opts._categories.forEach(function(x) {
|
2024-02-21 20:26:57 -07:00
|
|
|
var section = localization[x[0]] ?? x[0];
|
|
|
|
var category = localization[x[1]] ?? x[1];
|
2023-11-26 07:56:16 -07:00
|
|
|
|
|
|
|
var span = document.createElement('SPAN');
|
|
|
|
span.textContent = category;
|
|
|
|
span.className = 'settings-category';
|
|
|
|
|
|
|
|
var sectionElem = sectionMap[section];
|
|
|
|
if (!sectionElem) return;
|
|
|
|
|
|
|
|
sectionElem.parentElement.insertBefore(span, sectionElem);
|
|
|
|
});
|
|
|
|
});
|
|
|
|
|