1. 2005-12-09 Re: [ jEdit-users ] Q: howto show/hide extra characte jedit-use Andre Bender 2. 2005-12-09 [ jEdit-users ] Q: howto show/hide extra characters l jedit-use thomas