Make the tableDF container scrollable

app.py

@@ -488,33 +488,35 @@ try:
         # so we only show it once (on the first row for that speaker).
         rendered_clip_for: set = set()
 
-        for _, row in tableDF.iterrows():
-            row_cols  = st.columns(col_widths)
-            display_sp = row["Speaker"]
-
-            # Map display name back to original SPEAKER_## for clip lookup
-            raw_key = next(
-                (sp for sp in speakerNames if raw_to_display.get(sp, sp) == display_sp),
-                display_sp,
-            )
-
-            row_cols[0].write(display_sp)
-            for i, col_name in enumerate(other_cols):
-                row_cols[i + 1].write(row[col_name])
-
-            if has_extras:
-                if raw_key in file_clips and raw_key not in rendered_clip_for:
-                    rendered_clip_for.add(raw_key)
-                    row_cols[-2].audio(file_clips[raw_key], format="audio/wav")
-                    sp_segs = st.session_state.speakerSegments.get(currFile, {}).get(raw_key, [])
-                    if has_waveform and sp_segs:
-                        if row_cols[-1].button(
-                            "🔀",
-                            key=f"randomize_{currFile}_{raw_key}",
-                            help="Try a different clip for this speaker",
-                        ):
-                            randomize_speaker_clip(currFile, raw_key)
-                            st.rerun()
+        # ~52px per row gives roughly 10 visible rows before scrolling
+        with st.container(height=520, border=False):
+            for _, row in tableDF.iterrows():
+                row_cols  = st.columns(col_widths)
+                display_sp = row["Speaker"]
+
+                # Map display name back to original SPEAKER_## for clip lookup
+                raw_key = next(
+                    (sp for sp in speakerNames if raw_to_display.get(sp, sp) == display_sp),
+                    display_sp,
+                )
+
+                row_cols[0].write(display_sp)
+                for i, col_name in enumerate(other_cols):
+                    row_cols[i + 1].write(row[col_name])
+
+                if has_extras:
+                    if raw_key in file_clips and raw_key not in rendered_clip_for:
+                        rendered_clip_for.add(raw_key)
+                        row_cols[-2].audio(file_clips[raw_key], format="audio/wav")
+                        sp_segs = st.session_state.speakerSegments.get(currFile, {}).get(raw_key, [])
+                        if has_waveform and sp_segs:
+                            if row_cols[-1].button(
+                                "🔀",
+                                key=f"randomize_{currFile}_{raw_key}",
+                                help="Try a different clip for this speaker",
+                            ):
+                                randomize_speaker_clip(currFile, raw_key)
+                                st.rerun()
 
     # -----------------------------------------------------------------------
     # Charts (pie1, pie2, sunburst, treemap, timeline, bar)