From 3d4609e17cb03df8922895b519ae4b2bdabee520 Mon Sep 17 00:00:00 2001
From: Jason Woofenden <jason@jasonwoof.com>
Date: Wed, 4 Dec 2013 02:11:29 -0500
Subject: [PATCH 1/1] numbered_links: ignore keypresses with control key down

---
 numbered_links.user.js |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/numbered_links.user.js b/numbered_links.user.js
index f9fb5f0..ea6eff5 100644
--- a/numbered_links.user.js
+++ b/numbered_links.user.js
@@ -423,7 +423,7 @@ function init() {
 								}
 							break;
 							case 'f':
-								if (!active) {
+								if (!active && !e.ctrlKey) {
 									followLinks(got);
 									active = 1;
 									stop_event(e);
-- 
1.7.10.4