How to change the font?

ls://dev.artenum.com/projects/jyconsole/forum/ea0732a5c0a80028007e29f9ed84723c

posted by Jourdain Sebastien at Nov 18, 2006 4:05 PM
Quote
Sorry I forgot to add the font size in the configuration panel. But I think you should be able to configure and change the font style (size+type+...) by redefining the styled document styles like I should do in the style configuration panel.

When I will have more time I will try to give a look...

posted by Nishio Hirokazu at Nov 15, 2006 6:11 AM
Quote
How can I make larger letters on the console? I may need to touch "JTextPane cmdUI" instance in JyConsole class, but it is "private".

Decorated version - Feeds - LibreSource