projects / gitk / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9712b81) | patch
gitk: Map / to focus the search box
authorGiuseppe Bilotta <giuseppe.bilotta@gmail.com>
Tue, 2 Dec 2008 01:19:22 +0000 (02:19 +0100)
committerPaul Mackerras <paulus@samba.org>
Sun, 21 Dec 2008 23:16:17 +0000 (10:16 +1100)
commit97bed03448d864f38fac34eacf2fa124df526788
tree3800a38fbe37a14877dc8e5686064640c1a4cbcctree | snapshot
parent9712b81a765978d2770b32bb77d25bfbf05d5eb5commit | diff
gitk: Map / to focus the search box

The / key is often used to initiate searches (less, vim, some web
browsers).  This changes the binding for the / (slash) key from 'find
next' to 'focus the search box' to follow this convention.

Signed-off-by: Giuseppe Bilotta <giuseppe.bilotta@gmail.com>
Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk diff | blob | history
Gitk: Windows and themed Tk support