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