From fe693f613a23452e68589a4337863f217cc57930 Mon Sep 17 00:00:00 2001
From: Ogulcan Celik <ogulcancelik@gmail.com>
Date: Mon, 11 May 2026 23:31:36 +0300
Subject: feat: add optional pane border labels

---
 src/ui/settings.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'src/ui/settings.rs')

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 {
-- 
cgit v1.2.3