re-enable Ctrl+/ search box focus shortcut

frontend/src/Metamaps/Listeners.js

@@ -8,6 +8,7 @@ import Realtime from './Realtime'
 import Selected from './Selected'
 import Topic from './Topic'
 import Visualize from './Visualize'
+import { Search } from './GlobalUI'
 
 const Listeners = {
   init: function () {
@@ -93,6 +94,11 @@ const Listeners = {
             })
           }
           break
+        case 191: // if / is pressed
+          if (e.ctrlKey) {
+            Search.focus()
+          }
+          break
         default:
           // console.log(e.which)
           break