diff --git a/common/content/events.js b/common/content/events.js index cdc5f7c3..7bd715ae 100644 --- a/common/content/events.js +++ b/common/content/events.js @@ -1409,12 +1409,12 @@ var Events = Module("events", { "Prevent scripts from focusing input elements without user intervention", "boolean", true); - options.add(["timeout", "to"], + options.add(["timeout", "tmo"], "Whether to execute a shorter key command after a timeout when a longer command exists", "boolean", true); - options.add(["timeoutlen", "tm"], - "Maximum time to wait for a longer key command when a shorter command exists", + options.add(["timeoutlen", "tmol"], + "Maximum time (milliseconds) to wait for a longer key command when a shorter one exists", "number", 1000); }, sanitizer: function () { diff --git a/common/locale/en-US/map.xml b/common/locale/en-US/map.xml index 24ff91ba..2a0bfd21 100644 --- a/common/locale/en-US/map.xml +++ b/common/locale/en-US/map.xml @@ -217,6 +217,14 @@ +
+ When &dactyl.appName; receives a key event that has a separate binding and
+ at the same time is part of a key chain, values of the
+ When this option is set and a key sequence interpretable both as a
+ complete command and as a start of a longer command is typed,
+ execute the shorter command after
+ Maximum number of milliseconds to wait for a longer key command
+ when a shorter one exists. Only effective when