2023-05-08 13:46:35 +00:00
|
|
|
// various hints and extra info for the settings tab
|
|
|
|
|
2023-05-14 07:02:51 +00:00
|
|
|
settingsHintsSetup = false
|
|
|
|
|
|
|
|
onOptionsChanged(function(){
|
|
|
|
if(settingsHintsSetup) return
|
|
|
|
settingsHintsSetup = true
|
|
|
|
|
|
|
|
gradioApp().querySelectorAll('#settings [id^=setting_]').forEach(function(div){
|
|
|
|
var name = div.id.substr(8)
|
|
|
|
var commentBefore = opts._comments_before[name]
|
|
|
|
var commentAfter = opts._comments_after[name]
|
|
|
|
|
|
|
|
if(! commentBefore && !commentAfter) return
|
|
|
|
|
|
|
|
var span = null
|
|
|
|
if(div.classList.contains('gradio-checkbox')) span = div.querySelector('label span')
|
2023-05-14 08:04:21 +00:00
|
|
|
else if(div.classList.contains('gradio-checkboxgroup')) span = div.querySelector('span').firstChild
|
|
|
|
else if(div.classList.contains('gradio-radio')) span = div.querySelector('span').firstChild
|
2023-05-14 07:02:51 +00:00
|
|
|
else span = div.querySelector('label span').firstChild
|
|
|
|
|
|
|
|
if(!span) return
|
|
|
|
|
|
|
|
if(commentBefore){
|
|
|
|
var comment = document.createElement('DIV')
|
|
|
|
comment.className = 'settings-comment'
|
|
|
|
comment.innerHTML = commentBefore
|
|
|
|
span.parentElement.insertBefore(document.createTextNode('\xa0'), span)
|
|
|
|
span.parentElement.insertBefore(comment, span)
|
|
|
|
span.parentElement.insertBefore(document.createTextNode('\xa0'), span)
|
|
|
|
}
|
|
|
|
if(commentAfter){
|
|
|
|
var comment = document.createElement('DIV')
|
|
|
|
comment.className = 'settings-comment'
|
|
|
|
comment.innerHTML = commentAfter
|
|
|
|
span.parentElement.insertBefore(comment, span.nextSibling)
|
|
|
|
span.parentElement.insertBefore(document.createTextNode('\xa0'), span.nextSibling)
|
|
|
|
}
|
|
|
|
})
|
2023-05-08 13:46:35 +00:00
|
|
|
})
|
|
|
|
|
2023-05-14 07:02:51 +00:00
|
|
|
function settingsHintsShowQuicksettings(){
|
|
|
|
requestGet("./internal/quicksettings-hint", {}, function(data){
|
|
|
|
var table = document.createElement('table')
|
|
|
|
table.className = 'settings-value-table'
|
2023-05-08 13:46:35 +00:00
|
|
|
|
2023-05-14 07:02:51 +00:00
|
|
|
data.forEach(function(obj){
|
|
|
|
var tr = document.createElement('tr')
|
|
|
|
var td = document.createElement('td')
|
|
|
|
td.textContent = obj.name
|
|
|
|
tr.appendChild(td)
|
|
|
|
|
|
|
|
var td = document.createElement('td')
|
|
|
|
td.textContent = obj.label
|
|
|
|
tr.appendChild(td)
|
|
|
|
|
|
|
|
table.appendChild(tr)
|
|
|
|
})
|
|
|
|
|
|
|
|
popup(table);
|
|
|
|
})
|
|
|
|
}
|