1. 2015-10-20 Re: [ jEdit-devel ] How does JEdit print with color? jedit-dev Matthieu Casanova 2. 2015-10-19 [ jEdit-devel ] How does JEdit print with color? jedit-dev Fábio Phillip Roch