2022-12-10 14:51:40 +03:00
|
|
|
function gradioApp() {
|
2023-01-12 19:47:44 +03:00
|
|
|
const elems = document.getElementsByTagName('gradio-app')
|
|
|
|
const gradioShadowRoot = elems.length == 0 ? null : elems[0].shadowRoot
|
2022-12-10 14:51:40 +03:00
|
|
|
return !!gradioShadowRoot ? gradioShadowRoot : document;
|
2022-08-31 22:19:30 +03:00
|
|
|
}
|
|
|
|
|
2022-09-24 02:12:13 +03:00
|
|
|
function get_uiCurrentTab() {
|
2023-01-04 10:25:34 +03:00
|
|
|
return gradioApp().querySelector('#tabs button:not(.border-transparent)')
|
2022-09-24 02:12:13 +03:00
|
|
|
}
|
|
|
|
|
2022-10-11 08:22:46 +03:00
|
|
|
function get_uiCurrentTabContent() {
|
|
|
|
return gradioApp().querySelector('.tabitem[id^=tab_]:not([style*="display: none"])')
|
|
|
|
}
|
|
|
|
|
2022-09-18 08:37:03 +03:00
|
|
|
uiUpdateCallbacks = []
|
2022-09-24 02:12:13 +03:00
|
|
|
uiTabChangeCallbacks = []
|
|
|
|
let uiCurrentTab = null
|
|
|
|
|
2022-09-18 08:37:03 +03:00
|
|
|
function onUiUpdate(callback){
|
|
|
|
uiUpdateCallbacks.push(callback)
|
2022-09-17 03:03:03 +03:00
|
|
|
}
|
2022-09-24 02:12:13 +03:00
|
|
|
function onUiTabChange(callback){
|
|
|
|
uiTabChangeCallbacks.push(callback)
|
|
|
|
}
|
2022-09-17 03:03:03 +03:00
|
|
|
|
2022-10-17 21:15:32 +03:00
|
|
|
function runCallback(x, m){
|
2022-09-24 02:12:13 +03:00
|
|
|
try {
|
2022-10-17 21:15:32 +03:00
|
|
|
x(m)
|
2022-09-24 02:12:13 +03:00
|
|
|
} catch (e) {
|
|
|
|
(console.error || console.log).call(console, e.message, e);
|
|
|
|
}
|
|
|
|
}
|
2022-10-17 21:15:32 +03:00
|
|
|
function executeCallbacks(queue, m) {
|
|
|
|
queue.forEach(function(x){runCallback(x, m)})
|
2022-08-31 22:19:30 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
document.addEventListener("DOMContentLoaded", function() {
|
|
|
|
var mutationObserver = new MutationObserver(function(m){
|
2022-10-17 21:15:32 +03:00
|
|
|
executeCallbacks(uiUpdateCallbacks, m);
|
2022-09-24 02:12:13 +03:00
|
|
|
const newTab = get_uiCurrentTab();
|
|
|
|
if ( newTab && ( newTab !== uiCurrentTab ) ) {
|
|
|
|
uiCurrentTab = newTab;
|
|
|
|
executeCallbacks(uiTabChangeCallbacks);
|
|
|
|
}
|
2022-08-31 22:19:30 +03:00
|
|
|
});
|
2022-09-02 23:25:29 +03:00
|
|
|
mutationObserver.observe( gradioApp(), { childList:true, subtree:true })
|
2022-08-31 22:19:30 +03:00
|
|
|
});
|
2022-09-26 19:12:55 +03:00
|
|
|
|
2022-10-10 19:16:04 +03:00
|
|
|
/**
|
|
|
|
* Add a ctrl+enter as a shortcut to start a generation
|
|
|
|
*/
|
|
|
|
document.addEventListener('keydown', function(e) {
|
|
|
|
var handled = false;
|
|
|
|
if (e.key !== undefined) {
|
2022-10-15 06:48:13 +03:00
|
|
|
if((e.key == "Enter" && (e.metaKey || e.ctrlKey || e.altKey))) handled = true;
|
2022-10-10 19:16:04 +03:00
|
|
|
} else if (e.keyCode !== undefined) {
|
2022-10-15 06:48:13 +03:00
|
|
|
if((e.keyCode == 13 && (e.metaKey || e.ctrlKey || e.altKey))) handled = true;
|
2022-10-10 19:16:04 +03:00
|
|
|
}
|
2022-10-11 08:22:46 +03:00
|
|
|
if (handled) {
|
|
|
|
button = get_uiCurrentTabContent().querySelector('button[id$=_generate]');
|
|
|
|
if (button) {
|
|
|
|
button.click();
|
|
|
|
}
|
2022-10-10 19:16:04 +03:00
|
|
|
e.preventDefault();
|
|
|
|
}
|
|
|
|
})
|
|
|
|
|
2022-09-26 19:12:55 +03:00
|
|
|
/**
|
|
|
|
* checks that a UI element is not in another hidden element or tab content
|
|
|
|
*/
|
|
|
|
function uiElementIsVisible(el) {
|
|
|
|
let isVisible = !el.closest('.\\!hidden');
|
|
|
|
if ( ! isVisible ) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
while( isVisible = el.closest('.tabitem')?.style.display !== 'none' ) {
|
|
|
|
if ( ! isVisible ) {
|
|
|
|
return false;
|
|
|
|
} else if ( el.parentElement ) {
|
|
|
|
el = el.parentElement
|
|
|
|
} else {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return isVisible;
|
2022-12-05 18:30:15 +03:00
|
|
|
}
|