changed hotkey to alt+/

bas-search.user.js

@@ -1,8 +1,8 @@
 // ==UserScript==
 // @name         BAS Quick Search
 // @namespace    http://tampermonkey.net/
-// @version      1.4.1
-// @description  Show a textbox on "/" key press and redirect to Cereweb search on Enter key press. Supports group search with "g:" prefix and accounts if you use no prefix or "a:" prefix.
+// @version      1.4.2
+// @description  Show a textbox on [Alt] + "/" key press and redirect to Cereweb search on Enter key press. Supports group search with "g:" prefix and accounts if you use no prefix or "a:" prefix.
 // @author       on@ntnu.no
 // @match        https://bas.ntnu.no/*
 // @grant        none
@@ -29,7 +29,7 @@
 
     // Show the input box when "/" is pressed
     document.addEventListener('keydown', function(event) {
-        if (event.key === '/') {
+        if (event.altKey && event.key === '/') {
             event.preventDefault();
             inputBox.style.display = 'block';
             inputBox.focus();