SONAR-5166 Offer shortcut to access the top-right search engine

Fix use of /

diff --git a/sonar-server/src/main/js/application.js b/sonar-server/src/main/js/application.js
index d41f5d77a7156ebcbc27f4ddbea8d8761ae0ff97..6070f9643b9769cf7bce67d736d313cb059eb993 100644 (file)
--- 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;
   });