Minor glitch in source code diff tool

> On 2 Jun 2017, at 08:11, Stephane Ducasse <[hidden email]> wrote:
>
> Hi sven
>
> Yes please.
>
> Stef
>
> On Thu, Jun 1, 2017 at 12:10 PM, Sven Van Caekenberghe <[hidden email]> wrote:
> It seems there is a minor glitch in the source code diff tool:
>
> <Screen Shot 2017-06-01 at 12.01.38.png>
>
> The first difference is marked (coloured) OK, each next one is one character position more off.
>
> This is in the latest 6.0 RC image.
>
> Should I create an issue ?
>
> Sven
>
>