1. 2011-11-20 [ jEdit-devel ] [ jedit-Bugs-3161754 ] Font styles / jedit-dev SourceForge.net 2. 2011-10-09 [ jEdit-devel ] [ jedit-Bugs-3161754 ] Font styles / jedit-dev SourceForge.net 3. 2011-01-29 [ jEdit-devel ] [ jedit-Bugs-3161754 ] Font styles / jedit-dev SourceForge.net 4. 2011-01-19 [ jEdit-devel ] [ jedit-Bugs-3161754 ] Font styles / jedit-dev SourceForge.net