Re: [ jEdit-users ] soft tabs

[Dirk M. <dmo...@gm...>]

> What am I forgetting?

The WhiteSpace plugin? The JavaStyle plugin? The AStylePlugin?

Dirk.

-- 
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net

GMX Tipp:

Machen Sie Ihr Hobby zu Geld bei unserem Partner 1&1!
http://profiseller.de/info/index.php3?ac=OM.PS.PS003K00596T0409a