From d0919011f011e325a17e666bbaa2595fecbffb9a Mon Sep 17 00:00:00 2001
From: dawe <dawedawe@posteo.de>
Date: Fri, 15 Sep 2023 09:15:50 +0200
Subject: [PATCH] add keybinding to fsharp.explorer.renameFile

---
 release/package.json | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/release/package.json b/release/package.json
index 1870e207..952b71ab 100644
--- a/release/package.json
+++ b/release/package.json
@@ -948,6 +948,11 @@
       }
     ],
     "keybindings": [
+      {
+        "command": "fsharp.explorer.renameFile",
+        "key": "F2",
+        "when": "viewItem == ionide.projectExplorer.file"
+      },
       {
         "command": "fsi.SendLine",
         "key": "alt\u002B/",
@@ -1759,4 +1764,4 @@
     "url": "https://github.com/ionide/ionide-vscode-fsharp.git"
   },
   "version": "7.11.0"
-}
\ No newline at end of file
+}