diff options
Diffstat (limited to 'javascript/ui.js')
-rw-r--r-- | javascript/ui.js | 30 |
1 files changed, 2 insertions, 28 deletions
diff --git a/javascript/ui.js b/javascript/ui.js index 5d864cf3..e649dc6e 100644 --- a/javascript/ui.js +++ b/javascript/ui.js @@ -1,24 +1,4 @@ -function gradioApp(){ - return document.getElementsByTagName('gradio-app')[0].shadowRoot; -} - -uiUpdateCallbacks = [] -function onUiUpdate(callback){ - uiUpdateCallbacks.push(callback) -} - -function uiUpdate(root){ - uiUpdateCallbacks.forEach(function(x){ - x() - }) -} - -document.addEventListener("DOMContentLoaded", function() { - var mutationObserver = new MutationObserver(function(m){ - uiUpdate(gradioApp()); - }); - mutationObserver.observe( gradioApp(), { childList:true, subtree:true }) -}); +// various functions for interation with ui.py not large enough to warrant putting them in separate files function selected_gallery_index(){ var gr = gradioApp() @@ -55,14 +35,8 @@ function extract_image_from_gallery_extras(gallery){ return extract_image_from_gallery(gallery); } -function requestProgress(){ - btn = gradioApp().getElementById("check_progress"); - if(btn==null) return; - - btn.click(); -} - function submit(){ + // this calls a function from progressbar.js window.setTimeout(requestProgress, 500) res = [] |