threads / patch / 6932

patchgitk: bind <F5> key to Update (reread commits)

Subject: [PATCH] gitk: bind <F5> key to Update (reread commits)

## tl;dr

2 messages between Feb 23, 2007 and Feb 23, 2007. Diffs are folded; open one to read it.

replies: 1people: 2as markdown or json

Eric Wong· Feb 23, 2007, 20:36 UTC · lore

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 <normalperson@yhbt.net>
---
 gitk |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
Show changes to gitk +2 −0
diff --git a/gitk b/gitk
index 9ddff3e..1cd2a8f 100755
--- a/gitk
+++ b/gitk
@@ -720,6 +720,7 @@ proc makewindow {} {
     bindkey <Key-Return> {findnext 0}
     bindkey ? findprev
     bindkey f nextfile
+    bindkey <F5> updatecommits
     bind . <Control-q> doquit
     bind . <Control-f> dofind
     bind . <Control-g> {findnext 0}
@@ -985,6 +986,7 @@ f		Scroll diff view to next file
 <Ctrl-plus>	Increase font size
 <Ctrl-KP->	Decrease font size
 <Ctrl-minus>	Decrease font size
+<F5>		Update
 } \
 	    -justify left -bg white -border 2 -relief sunken
     pack $w.m -side top -fill both
-- 
1.5.0.1.213.g509b
Shawn O. Pearce· Feb 23, 2007, 20:41 UTC · re: Eric Wong · lore

Re: [PATCH] gitk: bind <F5> key to Update (reread commits)

Eric Wong <normalperson@yhbt.net> wrote:
> 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.
It is also the key for rescan in git-gui.  :-)

Though I have to admit, I chose F5 there for the exact reason you mention above.

-- 
Shawn.

← back to recent threads