From f01ddf06b7e286567986e6b30bed1f4f758df440 Mon Sep 17 00:00:00 2001
From: Stas Vilchik <vilchiks@gmail.com>
Date: Thu, 3 Apr 2014 14:11:49 +0600
Subject: [PATCH] SONAR-5166 Offer shortcut to access the top-right search
 engine

Fix use of /
---
 sonar-server/src/main/js/application.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sonar-server/src/main/js/application.js b/sonar-server/src/main/js/application.js
index 81629f1656e..d41f5d77a71 100644
--- a/sonar-server/src/main/js/application.js
+++ b/sonar-server/src/main/js/application.js
@@ -555,7 +555,7 @@ jQuery(function() {
 
 
   // Define global shortcuts
-  key('/,shift+/', function() {
+  key('∕,/', function() { // divide sign, slash
     jQuery('#searchInput').focus();
     return false;
   });
-- 
2.39.5