From c9cb1403992340ee4eff24a46c28dfc7b0790e09 Mon Sep 17 00:00:00 2001
From: Stas Vilchik <vilchiks@gmail.com>
Date: Thu, 3 Apr 2014 14:49:47 +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 d41f5d77a71..6070f9643b9 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('∕,/', function() { // divide sign, slash
+  key('/,/', function() { // divide sign, slash
     jQuery('#searchInput').focus();
     return false;
   });
-- 
2.39.5