Strange bug in arduino IDE

The cursor does not match the logical pointer in the editor window. For example, in the code:

Serial.println("forward |single");

the cursor is just before the word 'single'. If I hit delete, it deletes the g from 'single'! The offset depends of the size of the selected font...

Does anybody have this behaviour?

What version of Java are you using? Have you tried upgrading it?

Java6. But the same arduino version runs fine on an older distro/java machine...

You might try downgrading Java then. Sadly, it doesn't always get less buggy when the version number increases.

Well, I made some tests through a ssh -X connexion, and the bug does not occurs there. Maybe a X fonts issue...

As I can now run the 64 bits version, I will see if it also has the bug.