On Mon, 22 Feb 2010, Øyvind Harboe wrote:
The patch closes a *tiny* window where the pointer can change. With longer filenames it is more likely that this can happen, but I suppose shorter filenames are not immune to these problems...Thanks to Laurentiu Cocanu([email protected]) for spotting this!
Now checked-in. Acknowledgments Øyvind Harboe (original contribution) Jonathan Larmour for reasonable view Thanks! Sergei
