Update app.py

app.py

@@ -875,15 +875,15 @@ def create_ui(manager: IssueManager):
                     with gr.Column(scale=3):
                          gr.Markdown("### Open Issues")
                          issue_list = gr.Dataframe(
-                             headers=["ID", "Title", "Severity", "Cluster"],
-                             datatype=["number", "str", "str", "str"], # Cluster ID shown as str
-                             interactive=True,
-                             height=500,
-                             wrap=True, # Wrap long titles
-                             elem_id="issue_list_df",
-                             overflow_row_behaviour='paginate', # Paginate if needed
-                             max_rows=20 # Show 20 rows per page
-                         )
+                            headers=["ID", "Title", "Severity", "Cluster"],
+                            datatype=["number", "str", "str", "str"], # Cluster ID shown as str
+                            interactive=True,
+                            wrap=True, # Wrap long titles
+                            elem_id="issue_list_df",
+                            overflow_row_behaviour='paginate', # Paginate if needed
+                            max_rows=20 # Show 20 rows per page
+                            )
+
                     with gr.Column(scale=2, min_width=350):
                         gr.Markdown("### Issue Severity")
                         stats_plot = gr.Plot(elem_id="stats_plot")