From f75e170b80fc5c86b57c6a52a25f19f1bbc2e471 Mon Sep 17 00:00:00 2001 From: Jason Woofenden Date: Wed, 2 Apr 2014 17:31:37 -0400 Subject: [PATCH] numbered links: don't bind ^C --- numbered_links.user.js | 18 +++++------------- 1 file changed, 5 insertions(+), 13 deletions(-) diff --git a/numbered_links.user.js b/numbered_links.user.js index ea6eff5..09684c0 100644 --- a/numbered_links.user.js +++ b/numbered_links.user.js @@ -361,19 +361,11 @@ function init() { document.addEventListener( 'keydown', function(e) { - // [de]activate on ^C // deactivate on ESC - if( - (e.ctrlKey && e.keyCode == 67) - || (e.keyCode == 27 && active == 1) - ) { - if(active) { - got = ''; - removeAllHints(); - } else { - followLinks(got); - } - active = 1 - active; + if(e.keyCode == 27 && active == 1) { + got = ''; + removeAllHints(); + active = 0; return stop_event(e); } else { if(active == 1 && !e.ctrlKey && !e.shiftKey && !e.altKey) { @@ -383,7 +375,7 @@ function init() { return stop_event(e); } } else { - // general keybinding, unrelated to numbered links + // general keybinding, (mostly unrelated to numbered links) var active_type = (document.activeElement.type || 'a').toLowerCase(); var typing = true; if (document.activeElement == document.body) { -- 1.7.10.4