From 2b3fee2244c9c671cb704a2fd8a28ac9fa9946e5 Mon Sep 17 00:00:00 2001
From: George Payne <georgepayne@hotmail.com>
Date: Thu, 4 Jun 2026 10:38:15 +0200
Subject: [PATCH] Add Tooling navbar dropdown linking to Gaffer

- Add a "Tooling" dropdown between Clients & APIs and Developer Resources
- One entry for now: Gaffer (Projections tooling) -> gaffer.kurrent.io

Surfaces the separate gaffer.kurrent.io site from the main docs nav.
The dropdown is a home for more undocumented tools later (UI-1595).
---
 docs/.vuepress/configs/navbar.ts | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/.vuepress/configs/navbar.ts b/docs/.vuepress/configs/navbar.ts
index eeec0c034..ab233a49a 100644
--- a/docs/.vuepress/configs/navbar.ts
+++ b/docs/.vuepress/configs/navbar.ts
@@ -31,6 +31,12 @@ export const navbarEn: NavbarOptions = [
             }
         ],
     },
+    {
+        text: "Tooling",
+        children: [
+            {text: "Gaffer (Projections tooling)", link: "https://gaffer.kurrent.io"},
+        ],
+    },
     {
         text: "Developer Resources",
         children: