Skip to content

Commit e7a0919

Browse files
Eric Wongpaulusmack
authored andcommitted
[PATCH] gitk: bind <F5> key to Update (reread commits)
I chose <F5> because it's also the key to reload the current page in web browsers such as Konqueror and Firefox, so users are more likely to be familiar with it. Signed-off-by: Eric Wong <[email protected]> Signed-off-by: Paul Mackerras <[email protected]>
1 parent 9ca72f4 commit e7a0919

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

gitk

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -720,6 +720,7 @@ proc makewindow {} {
720720
bindkey <Key-Return> {findnext 0}
721721
bindkey ? findprev
722722
bindkey f nextfile
723+
bindkey <F5> updatecommits
723724
bind . <Control-q> doquit
724725
bind . <Control-f> dofind
725726
bind . <Control-g> {findnext 0}
@@ -985,6 +986,7 @@ f Scroll diff view to next file
985986
<Ctrl-plus> Increase font size
986987
<Ctrl-KP-> Decrease font size
987988
<Ctrl-minus> Decrease font size
989+
<F5> Update
988990
} \
989991
-justify left -bg white -border 2 -relief sunken
990992
pack $w.m -side top -fill both

0 commit comments

Comments
 (0)