2022-09-01 03:19:30 +08:00
|
|
|
function gradioApp(){
|
2022-09-03 04:25:29 +08:00
|
|
|
return document.getElementsByTagName('gradio-app')[0].shadowRoot;
|
2022-09-01 03:19:30 +08:00
|
|
|
}
|
|
|
|
|
2022-09-24 07:12:13 +08:00
|
|
|
function get_uiCurrentTab() {
|
|
|
|
return gradioApp().querySelector('.tabs button:not(.border-transparent)')
|
|
|
|
}
|
|
|
|
|
2022-09-18 13:37:03 +08:00
|
|
|
uiUpdateCallbacks = []
|
2022-09-24 07:12:13 +08:00
|
|
|
uiTabChangeCallbacks = []
|
|
|
|
let uiCurrentTab = null
|
|
|
|
|
2022-09-18 13:37:03 +08:00
|
|
|
function onUiUpdate(callback){
|
|
|
|
uiUpdateCallbacks.push(callback)
|
2022-09-17 08:03:03 +08:00
|
|
|
}
|
2022-09-24 07:12:13 +08:00
|
|
|
function onUiTabChange(callback){
|
|
|
|
uiTabChangeCallbacks.push(callback)
|
|
|
|
}
|
2022-09-17 08:03:03 +08:00
|
|
|
|
2022-09-24 07:12:13 +08:00
|
|
|
function runCallback(x){
|
|
|
|
try {
|
|
|
|
x()
|
|
|
|
} catch (e) {
|
|
|
|
(console.error || console.log).call(console, e.message, e);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
function executeCallbacks(queue) {
|
|
|
|
queue.forEach(runCallback)
|
2022-09-01 03:19:30 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
document.addEventListener("DOMContentLoaded", function() {
|
|
|
|
var mutationObserver = new MutationObserver(function(m){
|
2022-09-24 07:12:13 +08:00
|
|
|
executeCallbacks(uiUpdateCallbacks);
|
|
|
|
const newTab = get_uiCurrentTab();
|
|
|
|
if ( newTab && ( newTab !== uiCurrentTab ) ) {
|
|
|
|
uiCurrentTab = newTab;
|
|
|
|
executeCallbacks(uiTabChangeCallbacks);
|
|
|
|
}
|
2022-09-01 03:19:30 +08:00
|
|
|
});
|
2022-09-03 04:25:29 +08:00
|
|
|
mutationObserver.observe( gradioApp(), { childList:true, subtree:true })
|
2022-09-01 03:19:30 +08:00
|
|
|
});
|