feat: add optional pane border labels

1 files changed, 11 insertions, 0 deletions

diff --git a/src/ui/settings.rs b/src/ui/settings.rs
index 5269f380..ef80d85a 100644
--- a/src/ui/settings.rs
+++ b/src/ui/settings.rs
@@ -106,6 +106,17 @@ pub(super) fn render_settings_overlay(app: &AppState, frame: &mut Frame, area: R
                 2,
             );
         }
+        SettingsSection::PaneLabels => {
+            render_settings_toggle(
+                frame,
+                content_area,
+                p,
+                "agent border labels",
+                "show detected agent names in split pane borders",
+                app.agent_border_labels_enabled(),
+                app.settings.list.selected,
+            );
+        }
     }
 
     if let Some(footer_area) = stack.footer {