For many of the recent releases when I bring the FILE menu down and others it overprints one on the other . If I slide the cursor to the side left or right then go back to the menu it clears itself .
I would suggest a Java layout problem that has been there for quite some time . Do others have this .?
is there a fix?
I suspect if this is just a Puppy Linux problem you will have to live with it - or switch to a different version of Linux. I never had the problem with Xubuntu.
Also, your title "By way of note only" implies that you are providing information and not requesting anything.
I am using Arduino 1.5.6 - with the same problem.
It does not bother me that much because I don't use the Arduino IDE as my code editor - not with Xubuntu or Puppy.