Subject: Re: gitk won't show notes?

From: Phillip Susi <[email-masked]>
Date: Tue, 07 Apr 2015 13:08:26 -0400

On 4/7/2015 10:13 AM, Michael J Gruber wrote:
> 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.