From ea28e63773009229fc3bf2bac24e9c777731f215 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=98yvind=20Andreas=20Nilsen?= Date: Mon, 19 Aug 2024 09:07:49 +0200 Subject: [PATCH] changed hotkey to alt+/ --- bas-search.user.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bas-search.user.js b/bas-search.user.js index 5ce4e47..fed38eb 100644 --- a/bas-search.user.js +++ b/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();