Hello,
When - to check this - I opend the settings window and reduced it to approx. the same dimensions as yours - the text overlapping happend on another part as to Redseujac and I had a much bigger space between the 2 options.
But then I played a bit around - reducing, maximizing and closing PT completely - and sudddenly the overlapping and the bigger space had gone.
Closing PT again and reopening it and the problem came back.
Jean-Paul
