JTextArea

[Thorsten F.]

Hi,

bin grade dabei einen eigenen Editor zu schreiben und siehe da, es hapert schon an dem eigentlichen Sinn eines Editors.

Ich schreibe etwas in die Textarea; über getSelectedText() kann ich mir auch den Text ausgeben lassen, den ich mit der Maus markiere.
Frage: Wie kann ich jetzt die Schrift für den markierten Text ändern?

setFont() kann man nicht auf einen String anwenden.

Weiß jemand Rat?

Gruß,
Thorsten F.

[Stefano Albrecht]

Servus Thorsten,

Frage: Wie kann ich jetzt die Schrift für den markierten Text ändern?

für Dein Vorhaben ist die Klasse JTextArea meiner Meinung nach nicht zu gebrauchen.

Ich würde Dir spontan JTextPane empfehlen, wobei ich zugegebenermaßen noch keine direkte Erfahrung damit gesammelt habe. Ich weiß jedoch, dass die Klasse die von Dir gewünschte Funktionalität bietet. Du wirst Dich dafür allerdings mit den Mime-Typen und den darunter liegenden Funktionalitäten befassen müssen.

Alternativ könntest Du den kompletten Editor auch selbst zeichnen. Das ist zwar vergleichsweise extrem aufwendig, aber dafür immerhin sehr flexibel und bietet weitaus mehr Möglichkeiten. Nämlich alle, es liegt am Entwickler.

Was für ein Editor wird das?

Freundliche Grüße
Stefano Albrecht