mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-02-23 11:39:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

fix

Browse Source
This commit is contained in:
Dawood 2023-12-03 18:46:42 +00:00
parent 1751f14c1b
commit 86783c834d
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
js/app/src/Index.svelte
View File

@ -147,10 +147,14 @@
): Promise<void> { ): Promise<void> {
const parser = new DOMParser(); const parser = new DOMParser();
if (head_string) { if (head_string) {
const head_html = parser.parseFromString(head_string, "text/html").head const parsed_head_html = Array.from(
.firstChild; parser.parseFromString(head_string, "text/html").head.children
if (head_html) { );
document.head.append(head_html);
if (parsed_head_html) {
for (let head_element of parsed_head_html) {
document.head.append(head_element);
}
} }
} }
} }