Unter "Module verwalten" - "Extension Module" kannst du prüfen, ob der "Better Editor" aktiv ist. Wenn er das ist und du ihn trotzdem nicht siehst, ist entweder Javascript in deinem Browser deaktiviert, die Sicherheitseinstellungen zu hoch - oder du surfst mit dem Opera, dort geht's nämlich nicht.

Na dann eben wieder Mozilla. "Vielen Dank", sagt der Blödi...
Gruß Josh