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

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

From
Shawn O. Pearce <spearce@spearce.org>
Date
Feb 23, 2007, 20:41 UTC
Message-ID
<20070223204113.GA27261@spearce.org>
In-Reply-To
<11722629943386-git-send-email-normalperson@yhbt.net>
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.
Previous: Eric Wong
Message 2 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.