git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
EWEric Wong <normalperson@yhbt.net>
Date
Feb 23, 2007, 20:36 UTC
Message-ID
<11722629943386-git-send-email-normalperson@yhbt.net>

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(-)
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
Next: Shawn O. Pearce
Message 1 of 2 in “gitk: bind <F5> key to Update (reread commits)”
  1. gitk: bind <F5> key to Update (reread commits)Eric Wong, Feb 23, 2007
  2. Shawn O. PearceFeb 23, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.