Some User tool lines doubling when scrolling in 1.4

[John Green]

Hi

I am finding that when I use a user tool on my iPad, and then scroll up and down in the window, some of the lines start to get duplicated. If I close and reopen the user tool than all is as it should be again until I start scrolling. Not every line gets duplicated, and there is no obvious link between the ones that are.

Not experienced this in previous versions. Is this a new bug in v1.4 which otherwise is a great update.

Thanks,

John Green