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 81629f1656e3b76587dc4e5acd589ee2d04accfb..d41f5d77a7156ebcbc27f4ddbea8d8761ae0ff97 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('/,shift+/', function() {
+  key('∕,/', function() { // divide sign, slash
     jQuery('#searchInput').focus();
     return false;
   });