Phillip Susi venit, vidit, dixit 07.04.2015 19:08:
On 4/7/2015 10:13 AM, Michael J Gruber wrote:
quoted
Seriously: gitk knows F5 and Shift-F5 for refresh, and I think the
latter is the thorougher refreshment.
Neither one makes newly added notes show up. The only way seems to be
to close and restart gitk. Looks like a bug.
Apparently, gitk rereads the refs but not commits it has read already -
and the commit reading includes the notes lookup.
Unfortunately, my wish-fu is lacking. But I'll cc the master.
Paulus: None of updatecommits, reloadcommits and rereadrefs seem to
reread the notes of a commit that has been displayed already if the
notes have changed (but the other refs have not).
Michael