From 9afc6e8f47d096023b63addc3dcc91bbf1a23241 Mon Sep 17 00:00:00 2001
From: "J. Ryan Stinnett" <jryans@gmail.com>
Date: Sun, 11 Jul 2021 01:29:42 +0100
Subject: [PATCH] Tweak existing tab navigation style

---
 chrome/content/zotero/zoteroPane.js | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/chrome/content/zotero/zoteroPane.js b/chrome/content/zotero/zoteroPane.js
index 75aec3cccc..4efcdca626 100644
--- a/chrome/content/zotero/zoteroPane.js
+++ b/chrome/content/zotero/zoteroPane.js
@@ -550,10 +550,9 @@ var ZoteroPane = new function()
 			}
 		}
 		
-		// Tab navigation
+		// Tab navigation: Ctrl-PageUp / PageDown
 		// TODO: Select across tabs without selecting with Ctrl-Shift, as in Firefox?
-		let ctrlOnly = event.ctrlKey && !event.metaKey && !event.shiftKey && !event.altKey;
-		if (ctrlOnly) {
+		if (event.ctrlKey && !event.metaKey && !event.shiftKey && !event.altKey) {
 			if (event.key == 'PageUp') {
 				Zotero_Tabs.selectPrev();
 				event.preventDefault();