1. 2012-03-29 [ jEdit-devel ] extended font styles jedit-dev Jarek Czekalski 2. 2012-03-28 Re: [ jEdit-devel ] Extended font styles jedit-dev Makarius