1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-02-23 00:15:46 +01:00

Make 'mapleader' an option and fix the help fragment scrolling issue.

This commit is contained in:
Kris Maglione
2010-10-04 16:45:39 -04:00
parent 1d5eb0f991
commit 476c908da1
9 changed files with 34 additions and 22 deletions

View File

@@ -892,7 +892,7 @@ const Events = Module("events", {
if (modes.extended & modes.HINTS) {
// under HINT mode, certain keys are redirected to hints.onEvent
if (key == "<Return>" || key == "<Tab>" || key == "<S-Tab>"
|| key == mappings.mapLeader
|| key == options["mapleader"]
|| (key == "<BS>" && hints.prevInput == "number")
|| (hints.isHintKey(key) && !hints.escNumbers)) {
hints.onEvent(event);