From: Jason Woofenden <jason@jasonwoof.com>
Date: Fri, 2 Sep 2011 15:44:04 +0000 (-0400)
Subject: numbered_links: halt events for us, etc.
X-Git-Url: https://jasonwoof.com/gitweb/?p=userscripts.git;a=commitdiff_plain;h=8d5e53803c7e97e97f1bdcdccf93b214821df404;hp=8d5e53803c7e97e97f1bdcdccf93b214821df404

numbered_links: halt events for us, etc.

When a keyboard event is for us (when this script does something), stop it from
propagating to other event handlers.
---