diff options
| author | DepFA <35278260+dfaker@users.noreply.github.com> | 2022-10-02 00:12:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-02 00:12:49 +0100 |
| commit | 55b046312c51bb7b2329d3b5b7f1c05956f821bf (patch) | |
| tree | 8770475e525e9491ff23bb5817607412f8e0e873 /javascript/ui.js | |
| parent | 027c5aae5546ff3650347cb3c2b87df4415ab900 (diff) | |
move JavaScript into ui.js
Diffstat (limited to 'javascript/ui.js')
| -rw-r--r-- | javascript/ui.js | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/javascript/ui.js b/javascript/ui.js index bfe02410..e8f289b4 100644 --- a/javascript/ui.js +++ b/javascript/ui.js @@ -212,3 +212,8 @@ function update_token_counter(button_id) { clearTimeout(token_timeout); token_timeout = setTimeout(() => gradioApp().getElementById(button_id)?.click(), wait_time); } + +function restart_reload(){ + document.body.innerHTML='<h1 style="font-family:monospace;margin-top:20%;color:lightgray;text-align:center;">Reloading...</h1>'; + setTimeout(function(){location.reload()},2000) +} |