i (#559)

2026-08-16 13:13:16 +02:00 · 2023-10-07 22:54:04 -07:00
parent b42e96a52d
commit 6faaac333b
17 changed files with 1237 additions and 906 deletions
@@ -91,6 +91,11 @@ progress::after {
  min-width: min(1px, 100%) !important;
 }

+.resizable_area {
+  resize: vertical;
+  overflow: auto !important;
+}
+
 '''
 progress_html = '''
 <div class="loader-container">