WDW_Internal_Tools/WDW-Sitemap-and-Scraper-Docker
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix UI issue
Build Docker Image / docker (push) Successful in 6s
Details

Browse Source
This commit is contained in:
Well Dressed Walrus
2026-04-09 11:35:04 -07:00
parent 8600ee9c27
commit 9e87bc4453
1 changed files with 24 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files
app.py
+24 -23
View File
@@ -96,29 +96,30 @@ class StreamlitOutputBuffer(io.TextIOBase):
visible_lines.append(self.current_line) visible_lines.append(self.current_line)
visible_lines = visible_lines[-self.max_lines :] visible_lines = visible_lines[-self.max_lines :]
content = html.escape("\n".join(visible_lines)) content = html.escape("\n".join(visible_lines))
self.placeholder.caption("Scan Details") with self.placeholder.container():
components.html( st.caption("Scan Details")
f""" components.html(
<div id="scan-details" style=" f"""
height: {self.height}px; <div id="scan-details" style="
overflow-y: auto; height: {self.height}px;
white-space: pre-wrap; overflow-y: auto;
font-family: monospace; white-space: pre-wrap;
font-size: 0.9rem; font-family: monospace;
padding: 0.75rem; font-size: 0.9rem;
border: 1px solid rgba(49, 51, 63, 0.2); padding: 0.75rem;
border-radius: 0.5rem; border: 1px solid rgba(49, 51, 63, 0.2);
background: white; border-radius: 0.5rem;
">{content}</div> background: white;
<script> ">{content}</div>
const el = document.getElementById("scan-details"); <script>
if (el) {{ const el = document.getElementById("scan-details");
el.scrollTop = el.scrollHeight; if (el) {{
}} el.scrollTop = el.scrollHeight;
</script> }}
""", </script>
height=self.height + 16, """,
) height=self.height + 16,
)
def getvalue(self) -> str: def getvalue(self) -> str:
visible_lines = list(self.lines) visible_lines = list(self.lines)