From 543eab70a4aa940839c238fbcfef35ad288f22bc Mon Sep 17 00:00:00 2001
From: Antoine Bluchet <soyuka@users.noreply.github.com>
Date: Wed, 4 Dec 2024 08:16:25 +0100
Subject: [PATCH] Allow "/" when editing code (#1177)

Co-authored-by: Luffy <lufei@php.net>
---
 js/search.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/search.js b/js/search.js
index ec4ef8fb6..1cc5447de 100644
--- a/js/search.js
+++ b/js/search.js
@@ -294,6 +294,10 @@ const initSearchModal = () => {
 
     // Open when / is pressed
     document.addEventListener("keydown", (event) => {
+        if (event.target.contentEditable === "true") {
+            return;
+        }
+
         if (event.key === "/") {
             show();
             event.preventDefault();