numbered_links: ignore keypresses with control key down

diff --git a/numbered_links.user.js b/numbered_links.user.js
index f9fb5f0..ea6eff5 100644 (file)
--- 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);