Hallo, Ich benutze gerne jEdit. Dieser Editor ist in Java geschrieben und somit Plattformunabhängig. In seiner Grundausstattung ist er eher schlicht aber funktionell, und lässt sich durch bereitgestellte Plugins sehr stark erweitern, fast schon auf IDE-ähnliches Niveau. MfG Janne