Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
Ich meine die Funktion aus dem Java-Plugin. Aber ich glaube sie ist extra für das Java-Plugin implementiert und nicht Bestandteil von TextEditor, von dem ich mein Plugin abgeleitet habe. Ich werde es wohl neu implementieren müssen. Ich hatte nur gehofft es gäbe diese Funktion schon (wie z.B. Content Assist oder Outline) und ich könnte mich da irgendwo einhängen.