Re: [PATCH] gitk: bind <F5> key to Update (reread commits)
From: Shawn O. Pearce <hidden> Date: 2016-06-15 22:42:56
Eric Wong [off-list ref] 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.