From 3b6b6e7322b968bd38bffe3121fc318b3f44cc40 Mon Sep 17 00:00:00 2001
From: Ching Pei Yang <badnam3o.0@gmail.com>
Date: Sat, 30 Nov 2024 23:37:16 +0100
Subject: [PATCH] docs: rename vim.leaderKey to vim.globals.mapleader

---
 modules/extra/deprecations.nix | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/modules/extra/deprecations.nix b/modules/extra/deprecations.nix
index 45dba82..2b6fa7d 100644
--- a/modules/extra/deprecations.nix
+++ b/modules/extra/deprecations.nix
@@ -60,9 +60,6 @@ in {
       upstream, it no longer makes sense, nor works, to toggle only Trouble.
     '')
     # 2024-11-30
-    (mkRemovedOptionModule ["vim" "leaderKey"] ''
-      This has been deprecated in favor of using the more generic `vim.globals`
-      (you can use `vim.globals.mapleader` to change this instead).
-    '')
+    (mkRenamedOptionModule ["vim" "leaderKey"] ["vim" "globals" "mapleader"])
   ];
 }