From e2d286de4eb785070934a72180627c1f9d4891e8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=98yvind=20Andreas=20Nilsen?= Date: Thu, 7 Aug 2025 07:32:07 +0200 Subject: [PATCH] rollback --- 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 7538000..738f984 100644 --- a/bas-search.user.js +++ b/bas-search.user.js @@ -2,7 +2,7 @@ // @name BAS Quick Search // @namespace http://tampermonkey.net/ // @version 1.7.3 -// @description Quick search using `Ctrl` + `Shift` + `F` hotkey, group search with "g:" prefix. Navigate tabs with Ctrl + Left/Right keys. Navigate search results with up and down keys. On Mac, use MetaKey instead of Ctrl. +// @description Quick search using `Ctrl` + `Shift` + `F` hotkey, group search with "g:" prefix. Navigate tabs with Ctrl + Left/Right keys. Navigate search results with up and down keys. // @author Øyvind Nilsen (on@ntnu.no) // @match https://bas.ntnu.no/* // @grant none @@ -269,7 +269,7 @@ // Global keyboard event handlers document.addEventListener('keydown', function(event) { // Show search box on Ctrl+Shift+F - if (((event.ctrlKey) || (event.metaKey)) && event.shiftKey && event.code === 'KeyF') { + if (event.ctrlKey && event.shiftKey && event.code === 'KeyF') { event.preventDefault(); showSearchInterface(); return; @@ -308,7 +308,7 @@ } // Tab navigation with Ctrl + Arrow keys (when search is not visible) - if (((event.ctrlKey) || (event.metaKey)) && !event.altKey && !event.shiftKey && searchContainer.style.display === 'none') { + if (event.ctrlKey && !event.altKey && !event.shiftKey && searchContainer.style.display === 'none') { if (event.code === 'ArrowRight') { event.preventDefault(); navigateTab('next');