Da versuche ich doch, wo es nur geht, darauf hinzuweisen, dass jEdit ein ziemlich genialer Editor ist und dann verschlafe ich, dass es eine neue Version gibt .. wenn auch nur als erstes Pre-Release und mE mit nicht allzu dollen Neuerungen. Immerhin tut sich was.
[ Herzlichen Dank an und via Syntactic-Sugar ]