cursore mal posizionato all'aumentare della dimensione carattere

[GoogleCodeExporter]

What steps will reproduce the problem?
1. scrivere del testo che riempia una riga abbastanza lunga
2. incrementare di uno la dimensione del carattere dell'editor
3. portare il cursore a fine riga

What is the expected output? What do you see instead?

Il cursore (simbolo che indica la posizione nel testo) non si trova nella 
giusta posizione(indica la fine del testo ancora a tre quarti della riga): 
questo perchè cambiando la dimensione del carattere il cursore non si adegua 
in modo corretto.

What version of the product are you using? On what operating system?
L'ultima ad ora, 2.5.

Please provide any additional information below.

Original issue reported on code.google.com by ine...@gmail.com on 15 Jun 2012 at 4:39

[GoogleCodeExporter]

Apparentemente sembra accadere solo per certi tipi di caratteri speciali.
Ad esempio con questo testo in prolog(allegato).

Original comment by ine...@gmail.com on 15 Jun 2012 at 4:44

Attachments:

• etn.pl

[GoogleCodeExporter]

Probabilmente è un problema in Jedit. 
In particolare in alice.util.jedit.TextAreaPainter#setFont() in cui viene 
utilizzato Toolkit.getDefaultToolkit().getFontMetrics(font) per ottenere il 
FontMetrics poi utilizzato per disegnare i caratteri e il cursore ma tale 
metodo è deprecato dal JDK 1.2.

Original comment by AleMont...@gmail.com on 18 Jun 2012 at 8:20

• Changed state: Accepted